Login
- Autor(en):
- Diekmann, Cornelius; Posselt, Stephan-A.; Niedermayer, Heiko; Kinkelin, Holger; Hanka, Oliver; Carle, Georg
- Titel:
- Verifying Security Policies using Host Attributes
- Kongress- / Buchtitel:
- FORTE -- 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems
- Band / Teilband / Volume:
- 8461
- Verlag / Institution:
- Springer
- Verlagsort:
- Berlin, Germany
- Jahr:
- 2014
- Monat:
- jun
- Seiten:
- 133-148
- Print-ISBN:
- 978-3-662-43612-7
- Volltext / DOI:
- doi:10.1007/978-3-662-43613-4_9
BibTeX