Analysis of a security protocol in μCRL

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

Volumn 2495, Issue , 2002, Pages 396-400

  Pang, Jun ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

NETWORK SECURITY;

ALGEBRAIC LANGUAGES; ANALYSIS PROCESS; NEEDHAM-SCHROEDER; PUBLIC-KEY PROTOCOL; SECURITY PROTOCOLS; TOOLSETS;

FORMAL METHODS;

EID: 84925465034     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_40     Document Type: Conference Paper

References (12)

1. S.C.C. Blom, W.J. Fokkink, J.F. Groote, I.Z. van Langevelde, B. Lisser and J.C. van de Pol. μCRL: A toolset for analysing algebraic specification. In Proc. CAV’2001, LNCS 2102, Springer-Verlag, pp. 250–254.
2. D. Dolev and A. Yao. On the security of public-key protocols. IEEE Transactions on Information Theory 29(2) (1983).
3. N. Durgin and J. Mitchell. Analysis of security protocols. In Calculational System Design (1999), ISO Press, pp. 369–395.
4. J.-C. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu and M. Sighireanu. CADP – a protocol validation and verification toolbox. In Proc. CAV’1997, LNCS 1102, Springer-Verlag, pp. 437–440.
5. W.J. Fokkink. Introduction to Process Algebra. Texts in Theoretical Computer Science. Springer-Verlag, 2000.
6. G. Leduc and F. Germeau. Verification of security protocols using Lotos-method and application. Computer Communications 23 (2000), 1089–1103.
7. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR. In 2nd International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (1996), Springer-Verlag, pp. 147–166.
8. G. Lowe. Some new attacks upon security protocols. In 9th IEEE Computer Security Foundations Workshop (1996), IEEE Press, pp. 162–169.
9. R. Mateescu and M. Sighireanu. Efficient on-the-fly model-cheching for regular alternation-free mu-calculus. In Proc. FMICS’2000, pp. 65–86.
10. J. Mitchell, M. Mitchell and U. Stern. Automated analysis of cryptographic protocols using Murφ. In Proc. of IEEE Symposium on Security and Privacy (1997), pp. 141–151.
11. R. Needham and M. Schroeder. Using encryption for authentication in large networks of computers. Communications of the ACM 21 (1978), 120–126.
12. J. Pang. Analysis of a security protocol in μCRL. Tech. Rep. SEN-R0201, CWI, Amsterdam, 2002.