Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
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]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Possibilistic Definitions of Security - An Assembly KitHeiko Mantel. csfw 2000: 185-199 [doi]
The following publications are possibly variants of this publication: