A Symbolic Framework to Analyse Physical Proximity in Security Protocols

DOI10.4230/LIPICS.FSTTCS.2018.29OpenAlexW2907830512MaRDI QIDQ5090968

Cyrille Wiedling, Stéphanie Delaune, Alexandre Debant

Publication date: 21 July 2022

Full work available at URL: https://hal.archives-ouvertes.fr/hal-02390222

zbMATH Keywords

verificationprocess algebraformal methodscryptographic protocolsdolev-Yao model

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

Related Items (1)

Protocol analysis with time

Cites Work

• Unnamed Item
• Unnamed Item
• Towards the automated verification of cyber-physical security protocols: bounding the number of timed intruders
• Bounded memory protocols
• Secure and Lightweight Distance-Bounding
• Analysing Routing Protocols: Four Nodes Topologies Are Sufficient
• Efficient Public-Key Distance Bounding Protocol
• Mobile values, new names, and secure communication

This page was built for publication: A Symbolic Framework to Analyse Physical Proximity in Security Protocols