Exploiting empirical engagement in authentication protocol design

Lecture Notes in Computer Science

Volumn 3450, Issue , 2005, Pages 119-133

  Creese, Sadie ^a   Goldsmith, Michael ^b,c   Harrison, Richard ^a   Roscoe, Bill ^b,c   Whittaker, Paul ^b   Zakiuddin, Irfan ^a  

^a QINETIQ   (United Kingdom)

^b Formal Systems

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CLASSIFICATION (OF INFORMATION); COMMUNICATION CHANNELS (INFORMATION THEORY); MATHEMATICAL MODELS; MOBILE COMPUTING; NETWORK PROTOCOLS; SECURITY OF DATA;

EMPIRICAL CHANNELS; PERVASIVE COMPUTING; PROTOCOL DESIGNS; SECURITY PROTOCOLS;

COMPUTER AIDED DESIGN;

EID: 24644483295     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-32004-3_14     Document Type: Conference Paper

References (9)

1. N. Asokan and Philip Ginzboorg. Key-agreement in ad-hoc networks. Computer Communications, 23(17):1627-1637, 2000.
2. D. Balfanz, D. Smetters, P. Stewart, and H. Wong. Talking to strangers: Authentication in ad-hoc wireless networks, Feburary 2002. In Symposium on Network and Distributed Systems Security (NDSS '02), San Diego, California.
3. S. Creese, M. H. Goldsmith, Bill Roscoe, and Irfan Zakiuddin. The attacker in ubiquitous computing environments: Formalising the threat model. In Theo Dimitrakos and Fabio Martinelli, editors, Workshop on Formal Aspects in Security and Trust, Pisa, Italy, September 2003. IIT-CNR Technical Report.
4. D. Dolev and A.C. Yao. On the security of public key protocols. IEEE Transactions on Information Theory, 29(2), 1983.
5. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall International, 1985.
6. Tim Kindberg and Kan Zhang. Validating and securing spontaneous associations between wireless devices. In 6 Information Security Conference (ISC'03), number 2851 in LNCS. Springer-Verlag, October 2003.
7. A.W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998. ISBN 0-13-6774409-5, pp. xv+565.
8. P.Y.A. Ryan, S.A.Schneider with M.H. Goldsmith, G. Lowe, and A.W. Roscoe. The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley, 2001.
9. Frank Stajano and Ross Anderson. The resurrecting duckling: Security issues for adhoc wireless networks. In B. Christianson, B. Crispo, and M. Roe, editors, Security Protocols, 7th International Workshop Proceedings, pages 172-194. Springer LNCS, 1999.