A structured operational modelling of the Dolev-Yao threat model

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

Volumn 2845, Issue , 2003, Pages 34-46

  Mao, Wenbo ^a  

^a HEWLETT PACKARD LABORATORIES   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; CRYPTOGRAPHY; SECURITY OF DATA; SECURITY SYSTEMS; SEMANTICS; SYSTEMS ENGINEERING;

CALCULUS OF COMMUNICATING SYSTEMS; DOLEV-YAO THREAT MODEL; FORMAL ANALYSIS; REACTIVE SYSTEM; S-PROCESS; STANDARD MODEL; STRUCTURED OPERATIONAL SEMANTICS;

NETWORK SECURITY;

EID: 35048833887     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (11)

1. E.M. Clarke, S. Jha, and W. Marrero. Using state space exploration and a natural deduction style message derivation engine to verify security protocols, Proc. IFIP Working Conference on Programming Concepts, and Methods (PROCOMET), June 1998.
2. CWB. The Edinburgh Concurrency Workbench, available at http://www.des.ed.ac.uk/home/cwb/
3. D. Denning and G. Sacco. Timestamps in key distribution protocols, Communications of the ACM, vol 24, no 8, pp. 533-536, August 1981.
4. D. Dolev and A. C. Yao. On the security of public key protocols, Proceedings of the IEEE 22nd Annual Symposium on Foundations of Computer Science, pp. 350-357, 1981.
5. M. Hennessy. Algebraic Theory of Processes, The MIT Press, 1988.
6. C.A.R. Hoare. Communicating sequential processes, Communications of the ACM, 21(8), 1978.
7. C.A.R. Hoare. Communicating Sequential Processes, Series in Computer Science, Prentice Hall International, 1985.
8. W. Marrero. BRUTUS: A Model Checker for Security Protocols, Ph.D. Thesis, CMU-CS-01-170, School of Computer Science, Carnegie Mellon University, December 2001.
9. R. Milner. A Calculus of Communicating Systems, Springer-Verlag, 1980.
10. R. Milner. Communication and Concurrency, Series in Computer Science, Prentice Hall International, 1989.
11. R. Needham and M. Schroeder. Using encryption for authentication in large networks of computers, Communications of the ACM, vol. 21, no 12, pp. 993-999, December 1978.