Verifying Security Policies using Host Attributes

Title:: Verifying Security Policies using Host Attributes
Author(s):: Diekmann, Cornelius; Posselt, Stephan-A.; Niedermayer, Heiko; Kinkelin, Holger; Hanka, Oliver; Carle, Georg
Book / Congress title:: FORTE -- 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
Volume:: 8461
Publisher:: Springer
Publisher address:: Berlin, Germany
Year:: 2014
Month:: jun
Pages:: 133-148
Print-ISBN:: 978-3-662-43612-7
Fulltext / DOI:: doi:10.1007/978-3-662-43613-4_9
BibTeX

Occurrences: