Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}

DOI10.1007/978-3-030-62077-6_11MaRDI QIDQ2037997zbMATH OpenOpenAlexFDO

Authors Paul D. Rowe, Joshua D. Guttman, John D. Ramsdell

Publication date 8 July 2021

Full work available at URL https://doi.org/10.1007/978-3-030-62077-6_11

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Security Analysis of Two Distance-Bounding Protocols
• The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks
• scientific article; zbMATH DE number 1424027
• On quantitative analysis of probabilistic protocols
• scientific article; zbMATH DE number 4050940
• Context-sensitive equivalences for non-interference based protocol analysis.
• Foundations of Software Science and Computation Structures

Cited in

(1)

• The Bussard-Bagga and Other Distance-Bounding Protocols under Attacks

This page was built for publication: Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}

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