Automating data independence

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

Volumn 1895, Issue , 2000, Pages 175-190

  Broadfoot, P J ^a   Lowe, G ^b   Roscoe, A W ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Automatic verification; Casper; CSP; Data independence; FDR; Model checking; Security protocols

Indexed keywords

FORMAL METHODS; NETWORK SECURITY;

AUTOMATIC VERIFICATION; CASE-STUDIES; CASPER; CSP; DATA INDEPENDENCE; ERROR PRONE TASKS; FDR; FULLY AUTOMATED; MODELS CHECKING; SECURITY PROTOCOLS;

MODEL CHECKING;

EID: 84944038631     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722599_11     Document Type: Conference Paper

References (19)

1. Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. Proceedings of the Royal Society of London A, Vol. 426 (1989) 233-271
2. Formal Systems (Europe) Ltd: Failures-Divergences Refinement: FDR2 Manual (1997)
3. Hui, M., Lowe, G.: Fault-Preserving Simplifying Transformations for Security Protocols. Submitted for publication (2000)
4. Lazić, R.S.: A semantic study of data-independence with applications to the mechanical verification of concurrent systems. Oxford University D.Phil thesis (1998)
5. Lazić, R.S., Roscoe, A.W.: Using logical relations for automated verification of data-independent CSP. Proceedings of the Workshop on Automated Formal Methods (Oxford, U.K.). Electronic Notes in Theoretical Computer Science 5 (1997)
6. Lazić, R.S., Roscoe, A.W.: Verifying determinism of data-independent systems with labellings, arrays and constants. Proceedings of INFINITY (1998)
7. Lazić, R.S., Nowak, D.: A Unifying Approach to Data-independence. Proceedings of the 11th International Conference on Concurrency Theory (2000)
8. Lowe, G.: An Attack on the Needham-Schroeder Public-Key Authentication Protocol. Information Processing Letters, Vol. 56 (1995) 131-133
9. Lowe, G.: Breaking and fixing the Needham-Schroeder public-key protocol using FDR. Proceedings of TACAS '97. Springer LNCS 1055 (1996)
10. Lowe, G.: Casper: a compiler for the analysis of security protocols. Proceedings of 1997 IEEE Computer Security Foundations Workshop. IEEE Computer Society Press (1997)
11. Lowe, G.: A hierarchy of authentication specifications. Proceedings of 1997 IEEE Computer Security Foundations Workshop. IEEE Computer Society Press (1997)
12. Lowe, G., Roscoe, A.W.: Using CSP to detect errors in the TMN protocol. IEEE transactions on Software Engineering 23, 10 (1997) 659-669
13. Marrero, W., Clarke, E., Jha, S.: A Model Checker for Authentication Protocols. Proceedings of the DIMACS Workshop on Design and Formal Verification of Security Protocols (1997)
14. Mitchell, J.C., Mitchell, M., Stern, U.: Automated Analysis of Cryptographic Protocols Using Murφ. IEEE Symposium on Security and Privacy (1997) 141-151
15. Roscoe, A.W.: The theory and practice of concurrency. Prentice Hall (1998)
16. Roscoe, A.W.: Proving security protocols with model checkers by data independence techniques. Proceedings of the 11th IEEE Computer Security Foundations Workshop (1998)
17. Roscoe, A.W., Broadfoot, P.J.: Proving security protocols with model checkers by data independence techniques. Journal of Computer Security. Special Issue CSFW11 (1999) 147-190
18. Shmatikov, V., Stern, U.: Efficient Finite-State Analysis for Large Security Protocols. Proceedings of the 11th IEEE Computer Security Foundations Workshop (1998)
19. Syverson, P.: A Taxonomy of Replay Attacks. Proceedings of the 7th IEEE Computer Security Foundations Workshop (1994) 131-136