Network of Excellence in Internet Science


Export 9 results:
Author Keyword Title Type [ Year(Asc)]
Filters: Author is G. Carle  [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.
H. Kinkelin, Niedermayer, H., Mittelberger, S., and Carle, G., Human-Centric and Privacy-Protecting Trust Establishment over the Internet, Proceeding of the Seventh International Conference on Advances in Human-oriented and Personalized Mechanisms, Technologies, and Services (CENTRIC 2014). 2014.
H. Niedermayer and Carle, G., On integrating socio-technical aspects into ICT modelling, in Critical Infrastructure Workshop, 2014.
H. Kinkelin, von Maltitz, M., Peter, B., Kappler, C., Niedermayer, H., and Carle, G., Privacy Preserving Energy Management, in Proceeding of City Labs Workshop in conjunction with the International Conference on Social Informatics (SocInfo 2014), 2014.
H. Niedermayer and Carle, G., Sustainable and Resilient Security - do we need inductive uncertainty-aware approaches?, in 2nd Workshop of Understanding the inter-play between Sustainability, Resilience, and Robustness, 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.
M. Pahl, Niedermayer, H., Kinkelin, H., and Carle, G., Enabling Sustainable Smart Neighborhoods, in Third IFIP Conference on Sustainable Internet and ICT for Sustainability (2013), 2013.