Login
- Author(s):
- Diekmann, Cornelius; Posselt, Stephan-A.; Niedermayer, Heiko; Kinkelin, Holger; Hanka, Oliver; Carle, Georg
- Title:
- Verifying Security Policies using Host Attributes
- 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