A sound logic for analysing electronic commerce protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1485, Issue , 1998, Pages 345-360

  Kessler, Volker ^a   Neumann, Heike ^b  

^a SIEMENS AG   (Germany)

^b JUSTUS LIEBIG UNIVERSITY   (Germany)

Author keywords

Electronic commerce; Formal analysis; Logic of authentication; Micropayment; Payword; Semantics; SET

Indexed keywords

AUTHENTICATION; CALCULATIONS; COMMERCE; ELECTRONIC COMMERCE; FORMAL METHODS; RECONFIGURABLE HARDWARE; SECURITY OF DATA; SECURITY SYSTEMS; SEMANTICS;

AUTHENTICATION LOGIC; ELECTRONIC COMMERCE PROTOCOLS; FORMAL ANALYSIS; FORMAL SEMANTICS; IMPORTANT FEATURES; MICRO-PAYMENT SYSTEMS; MICROPAYMENTS; PAYWORD;

COMPUTER CIRCUITS;

EID: 84958771467     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0055874     Document Type: Conference Paper

References (19)

1. N. Asokan, E. Van Heereweghen, M. Steiner, Towards A Framework for Handling Disputes in Payment Systems, IBM Research Report RZ 2996 (#93042) 03/09/1998, IBM Research Division, Zurich.
2. M. Abadi, M. Tuttle, "A Semantics for a Logic of Authentication," Proc. of the ACM Symp. of Principles of Distributed Computing, 1991, 201-216.
3. A. Bleeker, L. Meertens, "A Semantics for BAN-logic," Proc. of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.
4. M. Burrows, M. Abadi, R. Needham, A Logic of Authentication, Report 39 Digital Systems Research Center, Pao Alto, California, 1989.
5. D. Bolignano, "Towards the Formal Verification of Electronic Commerce Protocols," Proc. of the 10th Computer Security Foundations Workshop, Rockport, IEEE Computer Society Press 1997, 133-146.
6. B. Chellas, Modal Logic, Cambridge University Press, Cambridge, England, 1980
7. R.A. DeMillo, R.J. Lipton, and A.J. Perlis, "Social Processes and Proofs of Theorems and Programs," Comm. ACM, vol. 22, no. 5, 1979.
8. R. Fagin, J. Halpern, Y. Moses, M. Vardi, Reasoning About Knowledge, MIT Press, Cambridge, Mass., 1995.
9. A. Huima, T. Aura, "Using a Multimodal Logic Express Conflicting Interests in Security Protocols," Proc. of the DIMACS Workshop on Design and Formal Verification of Security Protocols, 1997.
10. R. Kailar, "Accountability in Electronic Commerce Protocols," IEEE Trans. On Software Engineering, Vol. 22, No. 5, 1996, 313-328.
11. MasterCard and VISA Corporations, Secure Electronic Transaction (SET), http://www.mastercard.com/set and http://www.visa.com/
12. C. Meadows, P. Syverson, "A Formal Specification of Requirements for Payment Transactions in the SET Protocol," Preproceedings of Financial Cryptography, 1998.
13. T. Pedersen, "Electronic Payments of Small Amounts," Proc. Security Protocols 1996, Springer LNCS 1189, 59-68.
14. B. Pfitzmann, M. Waidner, Properties of Payment Systems: General Definition Sketch and Classification, IBM Research Report RZ 2823 (#90126) 05/06/1996, IBM Research Division, Zurich.
15. R. Rivest, A. Shamir, "Payword and Micromint: Two simple micropayment protocols," Proc. Security Protocols 1996, Springer LNCS 1189, 69-88.
16. S. Stubblebine, R. Wright, "An Authentication Logic Supporting Synchronization, Revocation, and Receny," Proc. Third ACM Conference on Computer and Communiations Security, New Delhi, 1996, 95-105.
17. P. Syverson, P. van Oorschot, "On Unifying Some Cryptographic Protocol Logics," Proc. of the IEEE Computer Society Symp. on Security and Privacy 1994, 14-28.
18. G. Wedel, Formale Semantik fur Authentifikationslogiken, Diplomarbeit FB Mathe-matik der RWTH Aachen, Nov. 1995.
19. G. Wedel, V. Kessler, "Formal Semantics for Authentication Logics," Computer Security - ESORICS 96, Rome, Springer LNCS 1146, 1996, 219-241