Modelchecking safety properties in randomized security protocols

DOI10.1007/978-3-030-62077-6_12OpenAlexW3094925281MaRDI QIDQ2037999

Mahesh Viswanathan, Rohit Chadha, Matthew S. Bauer

Publication date: 8 July 2021

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

A formal framework for security testing of automotive over-the-air update systems

This page was built for publication: Modelchecking safety properties in randomized security protocols