An Isabelle/HOL Formalization of the Modular Assembly Kit for Security Properties by Oliver Bračevac, Richard Gay, Sylvia Grewe, Heiko Mantel, Henning Sudbrock and Markus Tasch May 07