Busi, M., Focardi, R., & Luccio, F. L. (2025). Strands Rocq: Why is a Security Protocol Correct, Mechanically?
Chicago-Zitierstil (17. Ausg.)Busi, Matteo, Riccardo Focardi, und Flaminia L. Luccio. Strands Rocq: Why Is a Security Protocol Correct, Mechanically? 2025.
MLA-Zitierstil (9. Ausg.)Busi, Matteo, et al. Strands Rocq: Why Is a Security Protocol Correct, Mechanically? 2025.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.