Network of Excellence in Internet Science

Biblio

Export 2 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is Lars Hupel  [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.
2014
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.