TY - RPRT TI - Verifying Security Policies using Host Attributes AU - Cornelius Diekmann AU - Stephan-A. Posselt AU - Heiko Niedermayer AU - Holger Kinkelin AU - Oliver Hanka AU - Georg Carle PY - 2016 DO - 10.1007/978-3-662-43613-4_9 UR - https://arxiv.org/abs/1604.00204 ID - 1604.00204 ER -