Network of Excellence in Internet Science


Export 1 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Stephan-A. Posselt  [Clear All Filters]
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.