Towards an awareness-based semantics for security protocol analysis

Electronic Notes in Theoretical Computer Science

Volumn 55, Issue 1, 2003, Pages 5-24

  Accorsi, Rafael ^a   Basin, David ^a   Viganò, Luca ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DATA INTEGRITY; PROTOCOL EXECUTION; SECURITY LOGICS; SECURITY PROTOCOL;

COMPUTER PROGRAMMING; FORMAL LOGIC; MATHEMATICAL MODELS; NETWORK PROTOCOLS; SECURITY OF DATA;

SEMANTICS;

EID: 19144367628     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00242-7     Document Type: Article

References (19)

1. Abadi M. and M. R. Tuttle, A semantics for a logic of authentication, in: Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, ACM Press, 1991 pp. 201-216.
2. Anderson R.J., Needham R. Programming Satan's computer. van Leeuwen J. Computer Science Today: Recent Trends and Developments. 1995;426-440 Springer-Verlag, LNCS 1000
3. Basin D., Lazy infinite-state analysis of security protocols, in: R. Baumgart, editor, Proceedings of CQRE'99, LNCS 1740, Springer-Verlag, Berlin, 1999 pp. 30-42.
4. Bleeker A. and L. Meertens, A semantics for BAN logic, in: Proceeding of DIMACS Workshop on Design and Formal Verification of Crypto Protocols, 1997.
5. Burrows M., Abadi M., Needham R. A logic of authentication. ACM Transactions on Computer Systems. 8:1990;18-36
6. Clark J. and J. Jacob, A survey of authentication protocol literature: Version 1.0 (1997), manuscript available at the URL http://www.cs.york.ac.uk/ ~jac/papers/drareview.ps.gz.
7. Dolev D., Yao A. On the security of public key protocols. IEEE Transactions on Information Theory. 2:1983;198-208
8. Fagin R., Halpern J.Y. Belief, awareness and limited reasoning. Artificial Intelligence. 34:1987;39-76
9. Fagin R., Halpern J.Y., Moses Y., Vardi M.Y. "Reasoning about knowledge," 1995;MIT Press
10. Gong L., R. Needham and R. Yahalom, Reasoning About Belief in Cryptographic Protocols, in: D. Cooper and T. Lunt, editors, Proceedings of the 1990 IEEE Symposium on Research in Security and Privacy, IEEE Computer Society, 1990 pp. 234-248.
11. Lowe G., Breaking and fixing the Needham-Schroeder public-key protocol using FDR, in: T. Margaria and B. Steffen, editors, Proceedings of TACAS'96, LNCS 1055, Springer-Verlag, Berlin, 1996 pp. 147-166.
12. Lowe G., A hierarchy of authentication specifications, in: Proceedings of The 10th Computer Security Foundations Workshop, IEEE Computer Society Press, 1997.
13. Paulson L.C. "Isabelle: a generic theorem prover," LNCS 828. 1994;Springer-Verlag, Berlin
14. Paulson L.C. The inductive approach to verifying cryptographic protocols. Journal of Computer Security. 6:1998;85-128
15. Syverson P.F. Knowledge, belief, and semantics in the analysis of cryptographic protocols. Journal of Computer Security. 1:1992;317-334
16. Syverson, P. F. and S. G. Stubblebine, Group principals and the formalization of anonymity, in: J. Wing, J. Woodcock and J. Davies, editors, Proceedings of FM'99, LNCS 1708, Springer-Verlag, Berlin, 1999 pp. 814-833.
17. Syverson, P. F. and P. C. van Oorschot, On unifying some cryptographic protocol logics, in: Proceedings of the 1994 IEEE Computer Society Symposium on Research in Security and Privacy, IEEE Computer Society Press, 1994 pp. 14-28.
18. Thijsse E. On total awareness logics. de Rijke M. Defaults and Diamonds. 1993;309-347 Kluwer Academic Publishers, Dordrecht
19. Wedel G. and V. Kessler, Formal semantics for authentication logics, in: E. Bertino, H. Kurth, G. Martella and E. Montolivo, editors, Proceedings of ESORICS'96, LNCS 1146, Springer-Verlag, Berlin, 1996 pp. 219-241.