loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Fifth International Symposium on Autonomous Decentralized Systems
Formal Analysis of E-Commerce Protocols
Dallas, Texas
March 26-March 28
ISBN: 0-7695-1065-5
ASCII Text
x 
 
M. Papa, O. Bremer, J. Hale, S. Shenoi, "Formal Analysis of E-Commerce Protocols," Autonomous Decentralized Systems, International Symposium on, pp. 19, Fifth International Symposium on Autonomous Decentralized Systems, 2001.
 
 
BibTex
x
 
@article{ 10.1109/ISADS.2001.917391,
author = {M. Papa and O. Bremer and J. Hale and S. Shenoi},
title = {Formal Analysis of E-Commerce Protocols},
journal ={Autonomous Decentralized Systems, International Symposium on},
volume = {0},
year = {2001},
isbn = {0-7695-1065-5},
pages = {19},
doi = {http://doi.ieeecomputersociety.org/10.1109/ISADS.2001.917391},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Autonomous Decentralized Systems, International Symposium on
TI - Formal Analysis of E-Commerce Protocols
SN - 0-7695-1065-5
SP
EP
A1 - M. Papa,
A1 - O. Bremer,
A1 - J. Hale,
A1 - S. Shenoi,
PY - 2001
VL - 0
JA - Autonomous Decentralized Systems, International Symposium on
ER -
 
M. Papa, University of Tulsa
O. Bremer, University of Tulsa
J. Hale, University of Tulsa
S. Shenoi, University of Tulsa
This paper presents a formalism for the analysis of e-commerce protocols. The approach integrates logics and process calculi, providing an expressive message passing semantics and sophisticated constructs for modeling principals. A common set of inference rules for communication, reduction and information analysis supports proofs about message passing, the knowledge and behavior of principals, and protocol properties. The power of the formalism is illustrated with an analysis of the NetBill Protocol.
Citation:
M. Papa, O. Bremer, J. Hale, S. Shenoi, "Formal Analysis of E-Commerce Protocols," isads, pp.19, Fifth International Symposium on Autonomous Decentralized Systems, 2001
Usage of this product signifies your acceptance of the Terms of Use.