Bisimulation-based non-deterministic admissible interference and its application to the analysis of cryptographic protocols

Information and Software Technology

Volumn 45, Issue 11, 2003, Pages 779-790

  Mullins, John ^a   Lafrance, Stéphane ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

Bisimulation; Cryptographic protocols; Model checking; Non interference

Indexed keywords

COMPUTER SIMULATION; CRYPTOGRAPHY; NETWORK PROTOCOLS;

BISIMULATION;

INFORMATION TECHNOLOGY;

EID: 0041386390     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(03)00072-7     Document Type: Conference Paper

References (24)

1. Abadi M., Burrows M., Needham R. A logic of authentication. ACM Transactions on Computer Systems. 8:(1):1990;18-36.
2. Abadi M., Gordon A.D. Reasoning about cryptographic protocols in the Spi calculus, in: CONCUR'97: Concurrency Theory, vol. 1243:1997;Springer, Berlin. pp. 59-73.
3. Abadi M., Gordon A.D. A calculus for cryptographic protocols: The Spi calculus. Information and Computation. 148:(1):1999;1-70.
4. Bodei C., Degano P., Nielson F., Nielson H. Static analysis for the π-calculus with applications to security. Information and Computation. 168:2001;68-92.
5. Boreale M., De Nicola R., Pugliese R. Proof techniques for cryptographic processes. Logic in Computer Science. 1999;157-166.
6. Boudol G. Notes on algebraic calculi of processes, in: Logic and Models of Concurrent Systems, NATO ASI Series F-13. 1985;Springer, Berlin. pp. 261-303.
7. Cleaveland R., Parrow J., Steffen B. The concurrency workbench: a semantics based tool for the verification of concurrent processes. ACM Transactions on Programming Languages and Systems. 15:(1):1993;36-72.
8. Durante A., Focardi R., Gorrieri R. CVS: a compiler for the analysis of cryptographic protocols, in: Proceedings of 12th IEEE Computer Security Foundations Workshop. 1999;IEEE Computer Society.
9. Focardi R., Ghelli A., Gorrieri R. Using non interference for the analysis of security protocols. Orman H., Meadows C. Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols. 1997;Rutgers University.
10. Focardi R., Gorrieri R. A classification of security properties for process algebras. Journal of Computer Security. 3:(1):1994/1995;5-33.
11. Focardi R., Gorrieri R., Martinelli F. Secrecy in security protocols as non interference. Schneider S., Ryan P. Proceedings of DERA/RHUL Workshop on Secure Architectures and Information Flow. vol. 32:2000;Elsevier ENTCS, New York.
12. Focardi R., Martinelli F. A uniform approach for the definition of security properties, in: Proceedings of World Congress on Formal Methods (FM'99), LNCS. vol. 1708:1999;Springer, Berlin.
13. Goguen J.A., Meseguer J. Unwinding and inference control, in: Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA. 1984;IEEE Computer Society. pp. 75-285.
14. Kannellakis P., Smolka S. Ccs expressions, finite state processes and three problems of equivalence. Information and Computation. 86:1990;333-354.
15. S. Lafrance, J. Mullins, A generic enemy process for the analysis of cryptoprotocols, 2002, Presented at FSCBS'2002. Available at www.crac.polymtl. ca .
16. Lowe G. Breaking and fixing the Needham-Schroeder public-key protocol using FDR, in: Proceedings of TACAS'96, LNCS. vol. 1055:1996;Springer, Berlin, pp. 147-166.
17. McLean J. Security models. Marciniak J. Encyclopedia of Software Engineering. 1994;1136-1145 Wiley, New York.
18. Milner R. Communication and Concurrency. 1989;Prentice-Hall, Englewood Cliffs, NJ.
19. Mullins J. Nondeterministic admissible interference. Journal of Universal Computer Science. 6:(11):2000;1054-1070.
20. Pinsky S. Absorbing covers and intransitive non-interference, in: Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA. in: Proceedings of the IEEE Symposium on Research in Security and Privacy, Oakland, CA. May 1995;IEEE Computer Society. pp. 102-113.
21. Roscoe A.W. Modelling and verifying key-exchange using CSP and FDR, in: Eighth Computer Security Foundation Workshop. 1995;IEEE Computer Society Press.
22. Schneider S. Verifying authentication protocols in CSP. IEEE Transactions of Software Engineering. 24:(8):1998;447-479.
23. Woo T., Lam S. Authentication for distributed systems. IEEE Computer. 25:(1):1992;39-52.
24. Woo T.Y.C., Lam S.S. A lesson in authentication protocol design. ACM Operating Systems Review. 28:(3):1994.