Formalizing and analyzing sender invariance

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

Volumn 4691 LNCS, Issue , 2007, Pages 80-95

  Drielsma, Paul Hankes ^a   Mödersheim, Sebastian ^a   Viganò, Luca ^a   Basin, David ^a  

^a ETH ZURICH   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTHENTICATION; ELECTRIC NETWORK ANALYSIS; IDENTIFICATION (CONTROL SYSTEMS); SECURITY OF DATA;

AUTOMATED TOOLS; SENDER INVARIANCE;

INVARIANCE;

EID: 38049169637     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (17)

1. Abadi, M.: Private Authentication. In: Dingledine, R., Syverson, P.F. (eds.) PET 2002. LNCS, vol. 2482, pp. 27-40. Springer, Heidelberg (2003)
2. Arkko, J., Kempf, J., Zill, B., Nikander, P.: RFC3971 - SEcure Neighbor Discovery (SEND) (March 2005)
3. Armando, A., Basin, D., Boichut, Y., Chevalier, Y., Compagna, L., Cuellar, J., Hankes Drielsma, P., Heàm, P.C., Mantovani, J., Moedersheim, S., von Oheimb, D., Rusinowitch, M., Santiago, J., Turuani, M., Viganò, L., Vigneron, L.: The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol. 3576, pp. 281-285. Springer, Heidelberg (2005), http://www.avispa-project.org
4. Aura, T.: RFC3972 - Cryptographically Generated Addresses (CGA) (March 2005)
5. Basin, D., Mödersheim, S., Viganò, L.: Constraint Differentiation: A New Reduction Technique for Constraint-Based Analysis of Security Protocols. In: CCS'03. Proceedings of CCS'03, pp. 335-344. ACM Press, New York (2003)
6. Basin, D., Mödersheim, S., Viganò, L.: Algebraic intruder deductions. In: Sutcliffe, G., Voronkov, A. (eds.) LPAR 2005. LNCS (LNAI), vol. 3835, pp. 549-564. Springer, Heidelberg (2005)
7. Basin, D., Mödersheim, S., Viganò, L.: OFMC: A Symbolic Model-Checker for Security Protocols. International Journal of Information Security 4(3), 181-208 (2005)
8. Bellare, M., Rogaway, P.: Entity authentication and key distribution. In: Stinson, D.R. (ed.) CRYPTO 1993. LNCS, vol. 773, pp. 232-249. Springer, Heidelberg (1994)
9. Boyd, C.: Security architectures using formal methods. IEEE Journal on Selected Areas in Communications 11(5), 694-701 (1993)
10. Bradner, S., Mankin, A., Schiller, J.I.: A framework for purpose built keys (PBK), Work in Progress (Internet Draft) (June 2003)
11. Chevalier, Y., Compagna, L., Cuellar, J., Hankes Drielsma, P., Mantovani, J., Mödersheim, S., Vigneron, L.: A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols. In: Proceedings of SAPS'04, pp. 193-205. Austrian Computer Society (2004)
12. Dierks, T., Allen, C.: RFC2246 - The TLS Protocol Version 1 (January 1999)
13. Dolev, D., Yao, A.: On the Security of Public-Key Protocols. IEEE Transactions on Information Theory 2(29) (1983)
14. Gollmann, D.: What do we mean by Entity Authentication. In: Proceedings of the 1996 IEEE Symposium on Security and Privacy, pp. 46-54. IEEE Computer Society Press, Los Alamitos (1996)
15. Johnson, D., Perkins, C., Arkko, J.: RFC3775 - Mobility Support in IPv6 (June 2004)
16. Lowe, G.: A hierarchy of authentication specifications. In: Proceedings of CSFW'97, pp. 31-43. IEEE Computer Society Press, Los Alamitos (1997)
17. Nikander, P., Kempf, J., Nordmark, E.: RFC3756 - IPv6 Neighbor Discovery (ND) Trust Models and Threats (May 2004)