Analysis of CCITT X.509 based on strand space model

Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University

Volumn 38, Issue SUPPL. 2, 2004, Pages 169-173

  Jiang, Rui ^a   Li, Jian Hua ^a   Pan, Li ^a  

^a SHANGHAI JIAO TONG UNIVERSITY   (China)

Author keywords

CCITT X.509; Formal method; Security protocol; Strand Space model

Indexed keywords

FORMAL LOGIC; SECURITY OF DATA;

BURROWS, ABADI AND NEEDHAM (BAN); CCITT X.509; FORMAL METHOD; SECURITY PROTOCOL; STRAND SPACE MODEL;

NETWORK PROTOCOLS;

EID: 12144253238     PISSN: 10062467     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (9)

1. Gritzalis S, Spinellis D, Georigiadis P. Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification [J]. Computer Communications, 1999, 22(8): 695-707.
2. Burrows M, Abadi M, Needham R. A logic of authentication [J]. ACM Transactions on Computer Systems, 1990, 8(1): 18-36.
3. Fabrega F, Herzog J, Guttman J. Strand space: why is a security protocol correct [A]. Proceedings of the 1998 IEEE Symposium on Security and Privacy [C]. California, USA: IEEE Computer Society Press, 1998. 160-171.
4. Fabrega F, Herzog J, Guttman J. Honest ideals on strand space [A]. Proceedings of the IEEE Computer Security Foundations Workshop XI [C]. California, USA: IEEE Computer Society Press, 1998. 66-77.
5. Guttman J, Fabrega F. Authentication tests [A]. Proceedings of the 2000 IEEE Symposium on Security and Privacy [C]. California, USA: IEEE Computer Society Press, 2000.
6. Herzog J. The Diffie-Hellman key-agreement scheme in the strand-space model [A]. Proceedings of the 16th IEEE Computer Security Foundation Workshop[C]. California, USA: IEEE CS Press, 2003.
7. Guttman J. Security protocol design via authentication tests [A]. Proceedings of the 15th IEEE Computer Security Foundation Workshop [C]. California, USA: IEEE Computer Society Press, 2002.
8. CCITT X.509. The directory - an authentication framework [S]. 1998.
9. Fabrega F, Herzog J, Guttman J. Strand space: proving security protocols correct [J]. Journal of Computer Security, 1999, 7(2/3): 191-230.