Bayesian authentication: quantifying security of the Hancke-Kuhn protocol

DOI10.1016/J.ENTCS.2010.08.007MaRDI QIDQ3178248zbMATH OpenOpenAlexFDO

Authors Dusko Pavlovic, Catherine Meadows

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.1016/j.entcs.2010.08.007

zbMATH Keywords

security protocolsymbolic modelBayesian reasoningdistance boundingpervasive authentication

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Let’s Get Physical: Models and Methods for Real-World Security Protocols
• Private authentication
• A logic of authentication
• Authenticating Pervasive Devices with Human Protocols
• scientific article; zbMATH DE number 1775427

Cites work

• scientific article; zbMATH DE number 503249 (Why is no real title available?)
• scientific article; zbMATH DE number 1394315 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• A survey of symbolic methods in computational analysis of cryptographic systems
• Automata, Languages and Programming
• Fast Software Encryption
• Foundations of Cryptography
• Guarded transitions in evolving specifications
• Let’s Get Physical: Models and Methods for Real-World Security Protocols
• Modeling concurrency with partial orders
• On the security of public key protocols
• Protocol composition logic (PCL)
• Reconciling two views of cryptography (The computational soundness of formal encryption)
• Theory of Cryptography

Cited in

(3)

• In-region authentication
• Chasing diagrams in cryptography
• Let’s Get Physical: Models and Methods for Real-World Security Protocols

Describes a project that uses

Uses Software

• CoSP

This page was built for publication: Bayesian authentication: quantifying security of the Hancke-Kuhn protocol

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3178248)