Bootstrapping multi-party ad-hoc security

Proceedings of the ACM Symposium on Applied Computing

Volumn 1, Issue , 2006, Pages 369-375

  Creese, Sadie ^a   Goldsmith, Michael ^b   Roscoe, Bill ^c   Xiao, Ming ^c  

^a QINETIQ   (United Kingdom)

^b Formal Systems   (United Kingdom)

^c UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Bootstrapping security; Pervasive computing

Indexed keywords

ADAPTIVE SYSTEMS; BANDWIDTH; COMPUTATIONAL METHODS; CONSTRAINT THEORY; NETWORK PROTOCOLS; PROBLEM SOLVING; SECURITY OF DATA; TELECOMMUNICATION SYSTEMS;

BOOTSTRAPPING SECURITY; NETWORKFORMATION PROTOCOL; PERVASIVE COMPUTING; UNTRUSTED INFRASTRUCTURE;

MULTI AGENT SYSTEMS;

EID: 33751023842     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1141277.1141362     Document Type: Conference Paper

References (12)

1. N. Asokan and P. 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. nd International Conference on Security in Pervasive Computing (SPC'05), volume 3450 of LNCS, Boppard, Germany, April 2005. Springer.
4. S. Creese, M. H. Goldsmith, B. Roscoe, and I. Zakiuddin. The attacker in ubiquitous computing environments: Formalising the threat model. In T. Dimitrakos and F. Martinelli, editors, Workshop on Formal Aspects in Security and Trust, Pisa, Italy, September 2003. IIT-CNR Technical Report.
5. S. Creese, M. H. Goldsmith, B. Roscoe, and I. Zakiuddin. Authentication in pervasive computing. In D. Hutter and M. Ullman, editors, First International Conference on Security in Pervasive Computing, Boppard, March 2003. Springer LNCS.
6. S. Creese, G. M. Reed, A. W. Roscoe, and J. W. Sanders. Security and trust for ubiquitous computing. In ITU WSIS Thematic Meeting on Cybersecurity, Geneva, 2005.
7. G. Lowe. Breaking and fixing the Needham-Schroeder public-key protocol using FOR. In Proceedings of TAC AS, volume 1055 of LNCS, pages 147-166. Springer Verlag, 1996.
8. Also in Software - Concepts and Tools, 17:93102, 1996.
9. A. W. Roscoe and P. J. Broadfoot. Proving security protocols with model checkers by data independence techniques. Journal of Computer Security, 7, 1999.
10. P. Ryan, S. with M.H. Goldsmith, G. Lowe, and A. Roscoe. The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley, 2001.
11. J. Thayer, J. Herzog, and J. Guttman. Strand spaces: Proving security protocols correct. Journal of Computer Security, 7, 1999.
12. M. Xiao. Verifying the PDA-mesh protocol. MSc, Oxford University Computing Laboratory, September 2005. Sumbmitted.