Distance-bounding protocols

DOI10.1007/3-540-48285-7_30MaRDI QIDQ4934731zbMATH OpenFDO

Authors Stefan Brands, David Chaum

Publication date 1 February 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48285-7_30

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Formal analysis of distance bounding with secure hardware
• Towards secure distance bounding
• Optimal proximity proofs
• Secure and lightweight distance-bounding
• Optimal Proximity Proofs Revisited

Cited in

(29)

• Hop chains: Secure routing and the establishment of distinct identities
• Record length requirement of long-range dependent teletraffic
• Formal analysis of distance bounding with secure hardware
• New attacks and secure design for anonymous distance-bounding
• Short paper: Terrorist fraud in distance bounding: getting around the models
• Protocol analysis with time
• Protocol analysis with time and space
• Optimal Proximity Proofs Revisited
• Secure and lightweight distance-bounding
• On the pseudorandom function assumption in (secure) distance-bounding protocols. PRF-ness alone does not stop the frauds!
• Compact and efficient UC commitments under atomic-exchanges
• Two Decades of Maude
• Emerging issues and trends in formal methods in cryptographic protocol analysis: twelve years later
• Towards secure distance bounding
• Authentication in constrained settings
• Efficient public-key distance bounding protocol
• Model Checking Security Protocols
• Bayesian authentication: quantifying security of the Hancke-Kuhn protocol
• Let’s Get Physical: Models and Methods for Real-World Security Protocols
• Optimal proximity proofs
• Sound proof of proximity of knowledge
• A Symbolic Framework to Analyse Physical Proximity in Security Protocols
• Detecting relay attacks on RFID communication systems using quantum bits
• An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis
• Deterministic secure positioning in wireless sensor networks
• Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method
• Model-checking strategic abilities in information-sharing systems
• Security framework for quantum distance-bounding
• Quantum cryptography beyond quantum key distribution

This page was built for publication: Distance-bounding protocols

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