TY - JOUR A1 - Liu, Fuwen A1 - König, Hartmut A1 - Wang, W. T1 - Designing a Security Architecture for a P2P Video Conference System Y1 - 2008 ER - TY - JOUR A1 - Opitz, Alek A1 - König, Hartmut A1 - Szamlewska, Sebastian T1 - What Does Grid Computing Cost? Y1 - 2008 ER - TY - GEN A1 - Vogel, Michael A1 - Schmerl, Sebastian A1 - König, Hartmut T1 - Analyseverlagerung in P2P-Overlaynetzen Y1 - 2009 ER - TY - CHAP A1 - Kaliappan, Prabhu Shankar A1 - König, Hartmut A1 - Kaliappan, V. K. T1 - Designing and Verifying Communication Protocols using Model Driven Architecture and Spin Model Checker Y1 - 2008 ER - TY - GEN A1 - Carle, Georg A1 - Dressler, Falko A1 - Kemmerer, Richard A. A1 - König, Hartmut A1 - Kruegel, Christopher A1 - Laskov, Pavel T1 - Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop Y1 - 2009 ER - TY - CHAP A1 - Liu, Fuwen A1 - König, Hartmut T1 - Security Considerations on Pervasive Real-time Collaboration T2 - IEEE 6th International Conference on Mobile Adhoc and Sensor Systems, 2009, MASS '09, 12 - 15 Oct. 2009, Macau, China Y1 - 2009 SN - 978-1-424-45114-2 SP - 722 EP - 727 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Schmerl, Sebastian A1 - König, Hartmut A1 - Flegel, Ulrich A1 - Meier, Michael A1 - Rietz, René T1 - Systematic Signature Engineering by Re-use of Snort Signatures T2 - Proceedings of the 24th International Annual Computer Security Applications Conference (ACSAC 2008), Anaheim, California, USA, December 2008 Y1 - 2008 UR - http://www.acsac.org/openconf2008/modules/request.php?module=oc_proceedings&action=proceedings.php&a=Accept SP - 23 EP - 32 ER - TY - CHAP A1 - Schmerl, Sebastian A1 - Vogel, Michael A1 - König, Hartmut T1 - Cooperating Intrusion Detection Overlay Structures T2 - 4th GI/ITG KuVS Workshop on Future Internet and 2nd Workshop on Economic Traffic Management (ETM), Zürich, Switzerland, 9 - 10. November 2009 Y1 - 2009 ER - TY - CHAP A1 - Schmerl, Sebastian A1 - Vogel, Michael A1 - König, Hartmut T1 - Identifying Modeling Errors in Signatures by Model Checking. Y1 - 2009 ER - TY - CHAP A1 - Kaliappan, Prabhu Shankar A1 - König, Hartmut A1 - Schmerl, Sebastian A1 - Dong, Jin Song A1 - Zhu, Huibiao T1 - Model-Driven Protocol Design Based on Component Oriented Modeling T2 - Formal methods and software engineering, proceedings 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17 - 19, 2010 Y1 - 2010 UR - www.springer.com/lncs SN - 978-3-642-16900-7 SP - 613 EP - 629 PB - Springer CY - Berlin [u.a.] ER - TY - GEN A1 - Liu, Fuwen A1 - König, Hartmut T1 - A Survey of Video Encryption Algorithms Y1 - 2010 ER - TY - CHAP A1 - Schmerl, Sebastian A1 - Vogel, Michael A1 - Rietz, René A1 - König, Hartmut T1 - Explorative Visualization of Log Data to Support Forensic Analysis and Signature Development T2 - 2010 Fifth IEEE International Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE 2010), Oakland, California, USA, 20 May 2010 Y1 - 2010 SN - 978-1-424-47220-8 SP - 109 EP - 118 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Liu, Fuwen A1 - König, Hartmut T1 - A Simple Balanced Password-Authenticated Key Agreement Protocol T2 - 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 Y1 - 2011 SN - 978-0-7695-4600-1 SP - 403 EP - 408 PB - IEEE Computer Society CY - Los Alamitos, Calif. ER - TY - GEN A1 - Kirsche, Michael A1 - Dreissig, Matthias A1 - Kopsch, Ralf A1 - Gäbler, Jan A1 - Klauck, Ronny A1 - Pink, Mario A1 - Liu, Fuwen A1 - König, Hartmut T1 - uBeeMe - Eine Plattform zur Unterstützung mobiler kollaborativer Anwendungen T2 - Praxis der Informationsverarbeitung und Kommunikation : (PIK) Y1 - 2011 U6 - https://doi.org/10.1515/PIKO.2011.003 SN - 0930-5157 VL - 34 IS - 1 SP - 11 EP - 22 ER - TY - CHAP A1 - Kaliappan, Prabhu Shankar A1 - König, Hartmut T1 - An Approach to Synchronize UML-basedDesign Components for Model-Driven Protocol Development T2 - Proceedings, 2011 34th IEEE Software Engineering Workshop, 20-21 June 2011, Limerick, Ireland Y1 - 2011 SN - 978-1-4673-0245-6 SP - 27 EP - 35 PB - IEEE CY - Los Alamitos, Calif. ER - TY - CHAP A1 - Liu, Fuwen A1 - König, Hartmut ED - Decker, Bart De ED - Lapon, Jorn ED - Naessens, Vincent ED - Uhl, Andreas T1 - Cryptanalysis of a SIP Authentication Scheme T2 - Communications and multimedia security, 12th IFIP TC 6/TC 11 international conference, CMS 2011, Ghent, Belgium, October 19-21, 2011 Y1 - 2011 SN - 978-3-642-24711-8 SP - 134 EP - 143 PB - Springer CY - Heidelberg [u.a.] ER - TY - GEN A1 - Gäbler, Jan A1 - Klauck, Ronny A1 - Schöpke, Sebastian A1 - König, Hartmut A1 - Werner, Martin A1 - Roth, Jörg T1 - Lemon Tree - Flexible Deichüberwachung mit XMPP und Cloud-Diensten T2 - 8. GI/ITG KuVS-Fachgespräch Ortsbezogene Anwendungen und Dienst Y1 - 2011 SN - 978-3-8325-3041-9 SP - 137 EP - 148 PB - Logos-Verlag CY - Berlin ER - TY - GEN A1 - König, Hartmut T1 - Network Attack Detection and Defense T2 - Praxis der Informationsverarbeitung und Kommunikation : (PIK) Y1 - 2012 U6 - https://doi.org/10.1515/pik-2012-0001 SN - 0930-5157 VL - 35 IS - 1 ER - TY - CHAP A1 - Pink, Mario A1 - Pietsch, Thomas A1 - König, Hartmut T1 - Towards a seamless mobility solution for the real world: Handover decision T2 - Hand-over decision, International Symposium on Wireless Communication Systems 2012, August 2012, Paris, France N2 - 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. Y1 - 2012 SN - 978-1-4673-0761-1 U6 - https://doi.org/10.1109/ISWCS.2012.6328448 SP - 651 EP - 655 PB - IEEE ER - TY - CHAP A1 - Pink, Mario A1 - Pietsch, Thomas A1 - König, Hartmut T1 - An adaptive Handover decision algorithm for heterogeneous wireless networks T2 - Mobile Wireless Middleware, Operating Systems, and Applications, 5th International Conference, Mobilware 2012, Berlin, Germany, November 13-14, 2012 Y1 - 2012 SN - 978-3-642-36659-8 SP - 136 EP - 149 PB - Springer CY - Berlin ER - TY - CHAP A1 - Schuster, Franka A1 - Paul, Andreas A1 - König, Hartmut T1 - A Distributed Intrusion Detection System for Industrial Automation Networks T2 - Proceedings of the 17th International Conference on Emerging Technologies & Factory Automation, Krakau, Polen, September 2012 N2 - 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. Y1 - 2012 SN - 978-1-4673-4736-5 U6 - https://doi.org/10.1109/ETFA.2012.6489703 SP - 1 EP - 4 PB - IEEE ER - TY - CHAP A1 - Kaliappan, Prabhu Shankar A1 - König, Hartmut ED - Katzenbeisser, Stefan T1 - On the Formalization of UML Activities for Component-Based Protocol Design Specifications T2 - Theory and practice of computer science, SOFSEM 2012, 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21 - 27, 2012 N2 - 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ý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. Y1 - 2012 UR - http://www.springer.com/computer/theoretical+computer+science/book/978-3-642-27659-0 SN - 978-3-642-27659-0 SP - 479 EP - 491 PB - Springer CY - Berlin [u.a.] ER -