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

DOI10.1007/978-3-030-62077-6_11OpenAlexW3095656647MaRDI QIDQ2037997

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

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)

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