For-LySa: UML for authentication analysis

Lecture Notes in Computer Science

Volumn 3267, Issue , 2005, Pages 93-106

  Buchholtz, Mikael ^a   Montangero, Carlo ^b   Perrone, Lara ^b   Semprini, Simone ^c  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

^b UNIVERSITY OF PISA   (Italy)

^c ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION RETRIEVAL; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

AUTHENTICATION ANALYSIS; AUTHENTICATION PROTOCOL; GLOBAL APPLICATIONS; PROCESS CALCULUS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 23944488270     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31794-4_6     Document Type: Conference Paper

References (12)

1. The Java edition of the Pepa workbench. Website hosted by School of Informatics, University of Edinburgh: http://homepages.inf.ed.ac.uk/s9905941/ jPEPA/, May 2004.
2. LySa - a process calculus, http://www.imm.dtu.dk/cs_LySa, May 2004. Website hosted by Informatics and Mathematical Modelling, Technical University of Denmark.
3. A. Armando, D. Basin, M. Bouallagui, Y. Chevalier, L. Compagna, S. Mödersheim, M. Rusinowitch, M. Turuani, L. Viganò, and L. Vigneron. The AVISS security protocol analysis tool. In CAV 2002, volume 2404 of Lecture Notes in Computer Science, pages 349-353. Springer Verlag, 2002.
4. C. Bodei, M. Buchholtz, P. Degano, F. Nielson, and H. Riis Nielson. Automatic validation of protocol narration. In Proceedings of the 16th Computer Security Foundations Workshop (CSFW 2003), pages 126-140. IEEE Computer Society Press, 2003.
5. M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, pages 18-36, 1990.
6. G. Denker, J. Millen, and H. Rueß. The CAPSL integrated protocol environment. Technical Report SRI-CLS-2000-02, SRI International, 2000.
7. A. Durante, R. Focardi, and R. Gorrieri. A compiler for analyzing cryptographic protocols using noninterference. ACM Transactions on Software Engineering and Methodology, 9(4):488-528, 2000.
8. J. Jürjens. UMLsec: Extending UML for secure systems development. In UML 2002 - The Unified Modeling Language, volume 2460 of Lecture Notes in Computer Science, pages 412-425, 2002.
9. J. Jürjens. Secure Systems Development with UML. Springer Verlag, 2004. To appear.
10. J. Jürjens and T. A. Kuhn. Automated theorem proving for cryptograpich protocols with automatic attack generation, 2004. Personal Communication.
11. G. Lowe. Casper: A compiler for the analysis of security protocols. Journal of Computer Security, 6(1):53-84, 1998.
12. R. Milner, J. Parrow, and D. Walker. A calculus of Mobile processes (I and II). Information and Computation, 100(1): 1-77, 1992.