An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties

Oliver Bracevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock, Markus Tasch. An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties. Archive of Formal Proofs, 2018, 2018. [doi]

Abstract

Abstract is missing.