Embedding agents within the intruder to detect parallel attacks

Journal of Computer Security

Volumn 12, Issue 3-4 SPEC. ISS., 2004, Pages 379-408

  Broadfoot, P J ^a   Roscoe, A W ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CRIME; CRYPTOGRAPHY; EMBEDDED SYSTEMS; ENCODING (SYMBOLS); MATHEMATICAL MODELS; NETWORK PROTOCOLS; PROBLEM SOLVING; SOFTWARE AGENTS; STATE SPACE METHODS;

CSP CODING; DATA INDEPENDENCE; MODEL CHECKING; SECURITY PROTOCOLS;

SECURITY OF DATA;

EID: 3042610243     PISSN: 0926227X     EISSN: None     Source Type: Journal    
DOI: 10.3233/jcs-2004-123-404     Document Type: Conference Paper

References (24)

1. B. Blanchet, An efficient cryptographic protocol verifier based on Prolog rules, in: 14th IEEE Computer Security Foundations Workshop, IEEE Computer Society, 2001, pp. 82-96.
2. B. Blanchet, From secrecy to authenticity in security protocols, in: 9th International Static Analysis Symposium, Springer-Verlag, 2002, pp. 242-259.
3. P. J. Broadfoot, Data independence in the model checking of security protocols, D.Phil, Oxford University, 2001.
4. P.J. Broadfoot and G. Lowe, Analysing a stream authentication protocol using model checking, in: 7th European Symposium on Research in Computer Security, LNCS, Springer, 2002.
5. P.J. Broadfoot, G. Lowe and A.W. Roscoe, Automating data independence, in: 6th European Symposium on Research in Computer Security, Volume 1895 of LNCS, Springer, 2000, pp. 175-190.
6. P.J. Broadfoot and A.W. Roscoe, Capturing parallel attacks within the data independence framework, in: 15th IEEE Computer Security Foundations Workshop, IEEE Computer Society, 2002, pp. 147-159.
7. P.J. Broadfoot and A.W. Roscoe, Internalising agents in CSP protocol models (extended abstract), Workshop on Issues in the Theory of Security (WITS '02), 2002.
8. J.A. Clark and J.L. Jacob, A survey of authentication protocol literature: Version 1.0, Technical report, University of York, 1997.
9. F.J.T. Fábrega, J.C. Herzog and J.D. Guttman, Strand Spaces: Why is a security protocol correct? in: Proceedings of IEEE Symposium on Security Privacy, 1998 pp. 160-171.
10. Formal Systems (Europe) Ltd., Failures-Divergence Refinement - FDR2 User Manual, 2000.
11. J.A. Heather and S.A. Schneider, Equal to the task? in: 7th European Symposium on Research in Computer Security, LNCS, Springer, 2002.
12. R.S. Lazić, Theorems for mechanical verification of data-independent CSP, D.Phil, Oxford University, 1999.
13. G. Lowe, Casper: A compiler for the analysis of security protocols, Journal of Computer Security 6 (1998), 53-84.
14. C. Meadows, The NRL Protocol Analyzer: An overview, Journal of Logic Programming 26(2) (1996), 113-131.
15. J. Millen, A necessarily parallel attack, in: Proceedings of the Workshop on Formal Methods and Security Protocols, 1999.
16. L. Paulson, The inductive approach to verifying cryptographic protocols, Journal of Computer Security 6 (1998).
17. A. Perrig, R. Canetti, J.D. Tygar and D.X. Song, Efficient authentication and signing of multicast streams over lossy channels, in: IEEE Symposium on Security and Privacy, 2000, pp. 56-73.
18. A.W. Roscoe, Proving security protocols with model checkers by data independence techniques, in: 11th IEEE Computer Security Foundations Workshop, 1998, pp. 84-95.
19. A.W. Roscoe, The Theory and Practice of Concurrency, Prentice Hall, 1998.
20. A.W. Roscoe and P.J. Broadfoot, Proving security protocols with model checkers by data independence techniques, Journal of Computer Security 7(2,3) (1999), pp. 147-190.
21. P.Y.A. Ryan, S.A. Schneider, M.H. Goldsmith, G. Lowe and A.W. Roscoe, Modelling and Analysis of Security Protocols, Pearson Education, 2001.
22. S.A. Schneider, Verifying authentication protocols in CSP, IEEE Transactions on Software Engineering (1998).
23. D.X. Song, S. Berezin and A. Perrig, Athena: A novel approach to efficient automatic security protocol analysis, Journal of Computer Security 9(1,2) (2001), 47-74.
24. M. Tatebayashi, N. Matsuzaki and D.B. Newman, Key distribution protocol for digital mobile communication systems, in: Advances in Cryptology: Proceedings of Crypto'89, Volume 435 of LNCS, Springer-Verlag, 1990, pp. 324-333.