Inferences on honesty in compositional logic for protocol analysis

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

Volumn 3233, Issue , 2004, Pages 65-86

  Hasebe, Koji ^a   Okada, Mitsuhiro ^a  

^a KEIO UNIVERSITY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTERS;

COMPOSITIONAL LOGIC; EXPLICIT TREATMENTS; INFERENCE SYSTEMS; MONOTONIC PROPERTIES; PROTOCOL ANALYSIS; PROTOCOL CORRECTNESS;

ARTIFICIAL INTELLIGENCE;

EID: 30844436780     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-37621-7_4     Document Type: Article

References (19)

1. M. Burrows, M. Abadi and R. Needham. A Logic of Authentication. Technical Report 39, Digital System Research Center, 1989.
2. I. Cervesato, N.A. Durgin, P.D. Lincoln, J.C. Mitchell and A. Scedrov. A metanotation for protocol analysis. 12th IEEE Computer Security Foundations Workshop, 1999.
3. I. Cervesato, N.A. Durgin, P.D. Lincoln, J.C. Mitchell and A. Scedrov. A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. M. Okada, B. Pierce, A. Scedrov, H. Tokuda and A. Yonezawa (eds.), Software Security -Theories and Systems, Lecture Notes in Computer Science, Hot Topics, vol.2609, Springer-Verlag, pp.356-382, 2003.
4. I. Cervesato, N.A. Durgin, P.D. Lincoln, J.C. Mitchell and A. Scedrov. Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security, vol.12, no.l, pp.677-722, 2004.
5. J. Clark and J. Jacob. A Survey of Authentication Protocol Literature: Version 1.0 (web draft), 1997.
6. A. Datta, A. Derek, J. C. Mitchell and D. Pavlovic. A Derivation System for Security Protocols and its Logical Formalization. Journal of Computer Security, Special Issue of Selected Papers from CSFW-16, 2004.
7. A. Datta, A. Derek, J. C. Mitchell and D. Pavlovic. Secure Protocol Composition. Proceedings of 19th Annual Conference on Mathematical Foundations of Programming Semantics, ENTCS Vol. 83, 2004.
8. W. Diffie and M. E. Hellman. New directions in cryptography. IEEE Transactions on Information Theory, IT-22(6), pp.644-654, 1976.
9. W. Diffie, P. C. van Oorschot and M. J. Wiener. Authentication and authenticated key exchange Designs, Codes and Cryptography, vol.2, pp.107-125, 1992.
10. N.A. Durgin, P.D. Lincoln, J.C. Mitchell and A. Scedrov. Undecidability of bounded security protocol. The 1999 Federated Logic Conference (FLoC '99), 11 pages, 1999.
11. N. Durgin, J. Mitchell, and D. Pavlovic. A compositional logic for proving security properties of protocols. Journal of Computer Security, vol.11, no.4, pp.677-721, 2003.
12. F. J. T. Fábrega, J. C. Herzog and J. D. Guttman. Strand spaces: Why is a security protocol correct? Proceedings of the 1998 IEEE Symposium on Security and Privacy, pp.160-171, 1998.
13. J. D. Guttman and F. J. T. Fdbrega. Authentication tests and the structure of bundles. Theoretical Computer Science, vol. 283(2), pp.333-380, 2002.
14. K. Hasebe and M. Okada. A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. M. Okada, B. Pierce, A. Scedrov, H. Tokuda and A. Yonezawa (eds.), Software Security -Theories and Systems, Lecture Notes in Computer Science, Hot Topics, vol.2609, Springer-Verlag, pp.417-440, 2003.
15. K. Hasebe and M. Okada. Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic, to appear in the proceedings of the workshop on Foundations of Computer Security '04 (LICS and ICALP affiliated workshop), Turku, Finland, 12 pages, 2004.
16. IEEE. Entity Authentication Mechanisms - part 3: Entity Authentication Using Asymmetric Techniques. Technical report ISO/IEC IS 9798-3, ISO/IEC, 1993.
17. A. J. Menezes, P. C. van Oorschot and S. A. Vanstone. Handbook of Applied Cryptography. CES press, 1996 (fifth printing, 2001).
18. P. Syverson and I. Cervesato. The Logic of Authentication Protocols. Lecture notes in Computer Science, Vol. 2171, pp. 63-136, 2001.
19. T. Y. C. Woo and S. S. Lam. Verifying authentication protocols: Methodology and example. Proceedings of the International Conference on Network Protocols, 1993.