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