Network of Excellence in Internet Science

Biblio

Export 1 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Oliver Hanka  [Clear All Filters]
2014
C. Diekmann, Posselt, S. - A., Niedermayer, H., Kinkelin, H., Hanka, O., and Carle, G., Verifying Security Policies using Host Attributes, in FORTE - 34th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, 2014.