Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}
From MaRDI portal
Publication:2037997
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
This page was built for publication: Assumption-based analysis of distance-bounding protocols with \textsc{cpsa}