Verifying Security Policies Using Host Attributes.

Cornelius Diekmann, Stephan-Alexander Posselt, Heiko Niedermayer, Holger Kinkelin, Oliver Hanka, Georg Carle

Browse the full FORTE paper archive.