@article{LiuKoenigWang, author = {Liu, Fuwen and K{\"o}nig, Hartmut and Wang, W.}, title = {Designing a Security Architecture for a P2P Video Conference System}, language = {en} } @article{OpitzKoenigSzamlewska, author = {Opitz, Alek and K{\"o}nig, Hartmut and Szamlewska, Sebastian}, title = {What Does Grid Computing Cost?}, language = {en} } @misc{VogelSchmerlKoenig, author = {Vogel, Michael and Schmerl, Sebastian and K{\"o}nig, Hartmut}, title = {Analyseverlagerung in P2P-Overlaynetzen}, language = {de} } @inproceedings{KaliappanKoenigKaliappan, author = {Kaliappan, Prabhu Shankar and K{\"o}nig, Hartmut and Kaliappan, V. K.}, title = {Designing and Verifying Communication Protocols using Model Driven Architecture and Spin Model Checker}, language = {en} } @misc{CarleDresslerKemmereretal., author = {Carle, Georg and Dressler, Falko and Kemmerer, Richard A. and K{\"o}nig, Hartmut and Kruegel, Christopher and Laskov, Pavel}, title = {Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop}, language = {en} } @inproceedings{LiuKoenig, author = {Liu, Fuwen and K{\"o}nig, Hartmut}, title = {Security Considerations on Pervasive Real-time Collaboration}, series = {IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009, MASS '09, 12 - 15 Oct. 2009, Macau, China}, booktitle = {IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009, MASS '09, 12 - 15 Oct. 2009, Macau, China}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-424-45114-2}, pages = {722 -- 727}, language = {en} } @inproceedings{SchmerlKoenigFlegeletal., author = {Schmerl, Sebastian and K{\"o}nig, Hartmut and Flegel, Ulrich and Meier, Michael and Rietz, Ren{\´e}}, title = {Systematic Signature Engineering by Re-use of Snort Signatures}, series = {Proceedings of the 24th International Annual Computer Security Applications Conference (ACSAC 2008), Anaheim, California, USA, December 2008}, booktitle = {Proceedings of the 24th International Annual Computer Security Applications Conference (ACSAC 2008), Anaheim, California, USA, December 2008}, pages = {23 -- 32}, language = {en} } @inproceedings{SchmerlVogelKoenig, author = {Schmerl, Sebastian and Vogel, Michael and K{\"o}nig, Hartmut}, title = {Cooperating Intrusion Detection Overlay Structures}, series = {4th GI/ITG KuVS Workshop on Future Internet and 2nd Workshop on Economic Traffic Management (ETM), Z{\"u}rich, Switzerland, 9 - 10. November 2009}, booktitle = {4th GI/ITG KuVS Workshop on Future Internet and 2nd Workshop on Economic Traffic Management (ETM), Z{\"u}rich, Switzerland, 9 - 10. November 2009}, language = {en} } @inproceedings{SchmerlVogelKoenig, author = {Schmerl, Sebastian and Vogel, Michael and K{\"o}nig, Hartmut}, title = {Identifying Modeling Errors in Signatures by Model Checking.}, language = {en} } @inproceedings{KaliappanKoenigSchmerletal., author = {Kaliappan, Prabhu Shankar and K{\"o}nig, Hartmut and Schmerl, Sebastian and Dong, Jin Song and Zhu, Huibiao}, title = {Model-Driven Protocol Design Based on Component Oriented Modeling}, series = {Formal methods and software engineering, proceedings 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010}, booktitle = {Formal methods and software engineering, proceedings 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-16900-7}, pages = {613 -- 629}, language = {en} } @misc{LiuKoenig, author = {Liu, Fuwen and K{\"o}nig, Hartmut}, title = {A Survey of Video Encryption Algorithms}, language = {en} } @inproceedings{SchmerlVogelRietzetal., author = {Schmerl, Sebastian and Vogel, Michael and Rietz, Ren{\´e} and K{\"o}nig, Hartmut}, title = {Explorative Visualization of Log Data to Support Forensic Analysis and Signature Development}, series = {2010 Fifth IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE 2010), Oakland, California, USA, 20 May 2010}, booktitle = {2010 Fifth IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE 2010), Oakland, California, USA, 20 May 2010}, publisher = {IEEE}, address = {Piscataway, NJ}, isbn = {978-1-424-47220-8}, pages = {109 -- 118}, language = {en} } @inproceedings{LiuKoenig, author = {Liu, Fuwen and K{\"o}nig, Hartmut}, title = {A Simple Balanced Password-Authenticated Key Agreement Protocol}, series = {Proceedings, the 10th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, ICESS 2011, FCST 2011, Conferences, Symposiums and Workshops, 16-18 November 2011, Changsha, Hunan Province, China}, booktitle = {Proceedings, the 10th IEEE International Conference on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, ICESS 2011, FCST 2011, Conferences, Symposiums and Workshops, 16-18 November 2011, Changsha, Hunan Province, China}, publisher = {IEEE Computer Society}, address = {Los Alamitos, Calif.}, isbn = {978-0-7695-4600-1}, pages = {403 -- 408}, language = {en} } @misc{KirscheDreissigKopschetal., author = {Kirsche, Michael and Dreissig, Matthias and Kopsch, Ralf and G{\"a}bler, Jan and Klauck, Ronny and Pink, Mario and Liu, Fuwen and K{\"o}nig, Hartmut}, title = {uBeeMe - Eine Plattform zur Unterst{\"u}tzung mobiler kollaborativer Anwendungen}, series = {Praxis der Informationsverarbeitung und Kommunikation : (PIK)}, volume = {34}, journal = {Praxis der Informationsverarbeitung und Kommunikation : (PIK)}, number = {1}, issn = {0930-5157}, doi = {10.1515/PIKO.2011.003}, pages = {11 -- 22}, language = {de} } @inproceedings{KaliappanKoenig, author = {Kaliappan, Prabhu Shankar and K{\"o}nig, Hartmut}, title = {An Approach to Synchronize UML-basedDesign Components for Model-Driven Protocol Development}, series = {Proceedings, 2011 34th IEEE Software Engineering Workshop, 20-21 June 2011, Limerick, Ireland}, booktitle = {Proceedings, 2011 34th IEEE Software Engineering Workshop, 20-21 June 2011, Limerick, Ireland}, publisher = {IEEE}, address = {Los Alamitos, Calif.}, isbn = {978-1-4673-0245-6}, pages = {27 -- 35}, language = {en} } @inproceedings{LiuKoenig, author = {Liu, Fuwen and K{\"o}nig, Hartmut}, title = {Cryptanalysis of a SIP Authentication Scheme}, series = {Communications and multimedia security, 12th IFIP TC 6/TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21, 2011}, booktitle = {Communications and multimedia security, 12th IFIP TC 6/TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21, 2011}, editor = {Decker, Bart De and Lapon, Jorn and Naessens, Vincent and Uhl, Andreas}, publisher = {Springer}, address = {Heidelberg [u.a.]}, isbn = {978-3-642-24711-8}, pages = {134 -- 143}, language = {en} } @misc{GaeblerKlauckSchoepkeetal., author = {G{\"a}bler, Jan and Klauck, Ronny and Sch{\"o}pke, Sebastian and K{\"o}nig, Hartmut and Werner, Martin and Roth, J{\"o}rg}, title = {Lemon Tree - Flexible Deich{\"u}berwachung mit XMPP und Cloud-Diensten}, series = {8. GI/ITG KuVS-Fachgespr{\"a}ch Ortsbezogene Anwendungen und Dienst}, journal = {8. GI/ITG KuVS-Fachgespr{\"a}ch Ortsbezogene Anwendungen und Dienst}, publisher = {Logos-Verlag}, address = {Berlin}, isbn = {978-3-8325-3041-9}, pages = {137 -- 148}, language = {de} } @misc{Koenig, author = {K{\"o}nig, Hartmut}, title = {Network Attack Detection and Defense}, series = {Praxis der Informationsverarbeitung und Kommunikation : (PIK)}, volume = {35}, journal = {Praxis der Informationsverarbeitung und Kommunikation : (PIK)}, number = {1}, issn = {0930-5157}, doi = {10.1515/pik-2012-0001}, pages = {S. 1}, language = {en} } @inproceedings{PinkPietschKoenig, author = {Pink, Mario and Pietsch, Thomas and K{\"o}nig, Hartmut}, title = {Towards a seamless mobility solution for the real world: Handover decision}, series = {Hand-over decision, International Symposium on Wireless Communication Systems 2012, August 2012, Paris, France}, booktitle = {Hand-over decision, International Symposium on Wireless Communication Systems 2012, August 2012, Paris, France}, publisher = {IEEE}, isbn = {978-1-4673-0761-1}, doi = {10.1109/ISWCS.2012.6328448}, pages = {651 -- 655}, abstract = {The increasing use of wireless networks has raised the desire to have not only a stable and good quality access to the network, but also to seamlessly change the network when moving. Various handover algorithms have been proposed to handle this situation. Unfortunately, many of these handover algorithms have only been evaluated by simulations. They do not take the wide range of mobile devices with varying system parameters into account. For the practical deployment, handover algorithms are required that adapt to various device parameters and network characteristics. In this paper we present a fuzzy-based vertical handover decision algorithm which adjusts itself to the given device and network capabilities. Starting with a discussion of handover requirements we present the algorithm and describe how it is activated in the handover process. Finally we present several experiments which evaluate the accuracy of the handover decision, the quality of service guarantees for the application, and the resource consumption.}, language = {en} } @inproceedings{PinkPietschKoenig, author = {Pink, Mario and Pietsch, Thomas and K{\"o}nig, Hartmut}, title = {An adaptive Handover decision algorithm for heterogeneous wireless networks}, series = {Mobile Wireless Middleware, Operating Systems, and Applications, 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012}, booktitle = {Mobile Wireless Middleware, Operating Systems, and Applications, 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-36659-8}, pages = {136 -- 149}, language = {en} } @inproceedings{SchusterPaulKoenig, author = {Schuster, Franka and Paul, Andreas and K{\"o}nig, Hartmut}, title = {A Distributed Intrusion Detection System for Industrial Automation Networks}, series = {Proceedings of the 17th International Conference on Emerging Technologies \& Factory Automation, Krakau, Polen, September 2012}, booktitle = {Proceedings of the 17th International Conference on Emerging Technologies \& Factory Automation, Krakau, Polen, September 2012}, publisher = {IEEE}, isbn = {978-1-4673-4736-5}, doi = {10.1109/ETFA.2012.6489703}, pages = {1 -- 4}, abstract = {Modern automation is measured in terms of interoperability and easy administration. Introducing technology focussing on these criteria, however, induce new security risks to existing and future automation installations. Current security approaches in automation do not keep pace with the rising security challenges. Prevalent in automation is the use of access control to protect the system from malicious activity, such as extern attacks. Means to inspect the automation traffic to identify attacks that already have overcome access control or are initiated from inside the automation system are not available, yet. For filling this gap, we investigate in the application of intrusion detection techniques on industrial automation. In this paper, we present the current state of an intrusion detection system tailored to the analysis of operation down to traffic between automation devices on field layer.}, language = {en} } @inproceedings{KaliappanKoenig, author = {Kaliappan, Prabhu Shankar and K{\"o}nig, Hartmut}, title = {On the Formalization of UML Activities for Component-Based Protocol Design Specifications}, series = {Theory and practice of computer science, SOFSEM 2012, 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Ml{\´y}n, Czech Republic, January 21 - 27, 2012}, booktitle = {Theory and practice of computer science, SOFSEM 2012, 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Ml{\´y}n, Czech Republic, January 21 - 27, 2012}, editor = {Katzenbeisser, Stefan}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {978-3-642-27659-0}, pages = {479 -- 491}, abstract = {This book constitutes the refereed proceedings of the 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012, held in Špindlerův Ml{\´y}n, Czech Republic, in January 2012. The 43 revised papers presented in this volume were carefully reviewed and selected from 121 submissions. The book also contains 11 invited talks, 10 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; cryptography, security, and verification; and artificial intelligence.}, language = {en} }