Static analysis for proactive security

DOI10.1007/978-3-319-91908-9_19zbMath1482.68069OpenAlexW2977630600MaRDI QIDQ2075777

Michael Huth, Flemming Nielson

Publication date: 16 February 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-91908-9_19

Mathematics Subject Classification ID

Computer security (68M25)

Related Items (1)

Secure Guarded Commands

This page was built for publication: Static analysis for proactive security