SPC 2005: Security in Pervasive Computing pp 119-133 | Cite as
Exploiting Empirical Engagement in Authentication Protocol Design
Conference paper
Abstract
We develop the theme of an earlier paper [3], namely that security protocols for pervasive computing frequently need to exploit empirical channels and that the latter can be classified by variants of the Dolev-Yao attacker model. We refine this classification of channels and study three protocols in depth: two from our earlier paper and one new one.
Keywords
Shared Secret Authentication Protocol Security Protocol Pervasive Computing Threat Model
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.Asokan, N., Ginzboorg, P.: Key-agreement in ad-hoc networks. Computer Communications 23(17), 1627–1637 (2000)CrossRefGoogle Scholar
- 2.Balfanz, D., Smetters, D., Stewart, P., Wong, H.: Talking to strangers: Authentication in ad-hoc wireless networks. In: Symposium on Network and Distributed Systems Security (NDSS 2002), San Diego, California, (Feburary 2002)Google Scholar
- 3.Creese, S., Goldsmith, M.H., Roscoe, B., Zakiuddin, I.: The attacker in ubiquitous computing environments: Formalising the threat model. In: T. Dimitrakos, F. Martinelli (eds.), Workshop on Formal Aspects in Security and Trust, Pisa, Italy, IIT-CNR Technical Report (September 2003)Google Scholar
- 4.Dolev, D., Yao, A.C.: On the security of public key protocols. IEEE Transactions on Information Theory 29(2) (1983)Google Scholar
- 5.Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International, Englewood Cliffs (1985)MATHGoogle Scholar
- 6.Kindberg, T., Zhang, K.: Validating and securing spontaneous associations between wireless devices. In: Boyd, C., Mao, W. (eds.) ISC 2003. LNCS, vol. 2851, pp. 44–53. Springer, Heidelberg (2003)CrossRefGoogle Scholar
- 7.Roscoe, A.W.: The Theory and Practice of Concurrency , p.xv+ 565. Prentice-Hall, Englewood Cliffs (1998) ISBN 0-13-6774409-5Google Scholar
- 8.Ryan, P.Y.A., Schneider, S.A., Goldsmith, M.H., Lowe, G., Roscoe, A.W.: The Modelling and Analysis of Security Protocols: the CSP Approach. Addison-Wesley, Reading (2001)Google Scholar
- 9.Stajano, F., Anderson, R.: The resurrecting duckling: Security issues for ad-hoc wireless networks. In: Christianson, B., Crispo, B., Roe, M. (eds.) Security Protocols, 7th International Workshop Proceedings LNCS, pp. 172–194. Springer, Heidelberg (1999)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2005