Network of Excellence in Internet Science


Export 3 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Cornelius Diekmann  [Clear All Filters]
In Press
C. Diekmann, Hupel, L., and Carle, G., Semantics-Preserving Simplification of Real-World Firewall Rule Sets, in 20th International Symposium on Formal Methods, In Press.
C. Diekmann, Hupel, L., and Carle, G., Directed Security Policies: A Stateful Network Implementation, in Engineering Safety and Security Systems, vol. 150, 2014, pp. 20-34.
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.