Bayesian Authentication: Quantifying Security of the Hancke−Kuhn Protocol
Dusko Pavlovic and Catherine Meadows
ISSN
1571−0661
Journal
E. Notes in Theor. Comp. Sci.
Keywords
security protocol‚ pervasive authentication‚ symbolic model‚ Bayesian reasoning‚ distance bounding
Pages
97 − 122
Volume
265
Year
2010