Formal analysis of e-commerce protocols

Proceedings - 5th International Symposium on Autonomous Decentralized Systems, ISADS 2001

Volumn , Issue , 2001, Pages 19-28

  Papa, M ^a   Bremer, O ^a   Hale, J ^a   Shenoi, S ^a  

^a The University of Tulsa Tulsa   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMERCE; ELECTRONIC COMMERCE; SEMANTICS;

E-COMMERCE PROTOCOLS; FORMAL ANALYSIS; INFERENCE RULES; PROCESS CALCULI;

MESSAGE PASSING;

EID: 84964055996     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISADS.2001.917391     Document Type: Conference Paper

References (15)

1. Abadi, M. and Gordon, A. (1997) Reasoning about cryptographic protocols in the Spi calculus. CONCUR'97: Concurrency Theory, Springer LNCS, Vol. 1243, Amsterdam, The Netherlands, 59-73.
2. Brackin, S. (1999) Using checkable types in automatic protocol analysis. Proceedings of the Fifteenth Annual Computer Security Applications Conference, 99-108.
3. Burrows, M., Abadi, M. and Needham, R. (1990) A logic of authentication. ACM Transactions on Computer Systems, 8(1), 18-36.
4. Cox, B. and Tygar, D. and Sirbu, M. (1995) Net-Bill security and transaction protocol. Proceedings of the 1995 USENIX Workshop of Electronic Commerce.
5. Dolev, D. and Yao, A. (1983) On the security of public key protocols. IEEE Transactions on Information Theory, 29(2), 198-208.
6. Gong, L., Needham, R. and Yahalom, R. (1990) Reasoning about belief in cryptographic protocols. Proceedings of the IEEE Symposium on Research in Security and Privacy, 234-248.
7. Gordon, M. and Melham, T. (eds.) (1993) Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, Cambridge, U.K.
8. Heintze, N., Tygar, D., Wing, J. and Wong, H. (1996) Model checking electronic commerce protocols. Proceedings of the 1996 USENIX Workshop on Electronic Commerce.
9. Kindred, D. and Wing, J. (1996) Fast automatic checking of security protocols. Proceedings of the 1996 USENIX Workshop on Electronic Commerce.
10. Lowe, G. (1996) Some new attacks upon security protocols. Proceedings of the Ninth IEEE Computer Security Foundations Workshop.
11. Meadows, C. (1999) Analysis of the Internet key exchange protocol using the NRL Protocol Analyzer. Proceedings of the IEEE Symposium on Security and Privacy.
12. Melham, T. (1992) A mechanized theory of the π-calculus in HOL. Technical Report 244, University of Cambridge Computer Laboratory, Cambridge, U.K.
13. Milner, R. (1989) Communication and Concurrency. Prentice-Hall, New York.
14. Papa, M., Bremer, O., Magill, S., Hale, J. and Shenoi, S. (2000) Simulation and analysis of cryptographic protocols. Proceedings of the Fourteenth IFIP WG 11.3 Conference on Database Security.
15. Syverson, P. and van Oorschot, P. (1994) On unifying some cryptographic protocol logics. Proceedings of the IEEE Symposium on Research in Security and Privacy, 165-177.