Exploiting Empirical Engagement in Authentication Protocol Design

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.

• Type: Conference
• Year: 2005
• Where: SPC
• Authors: Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin
• Keywords: Applied Computing, Dolev-Yao Attacker Model, Earlier Paper, Empirical Channels, SPC 2005