TY - CHAP A1 - Twarok, Sven A1 - Langendörfer, Peter A1 - König, Hartmut ED - Kim, Myungchul T1 - Automated Derivation of ILP Implementations from SDL Specifications T2 - Formal techniques for networked and distributed systems, FORTE 2001, IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28 - 31, 2001, Cheju Island, Korea Y1 - 2001 SN - 0-7923-7470-3 SP - 3 EP - 18 PB - Kluwer CY - Boston [u.a.] ER - TY - CHAP A1 - König, Hartmut T1 - Testing of Communicating Systems XIV (TestCom 2002): Application to Internet Technologies and Services Y1 - 2002 ER - TY - CHAP A1 - Liu, Fuwen A1 - König, Hartmut T1 - Ein Ansatz für eine effiziente Schlüsselverteilung für kleine geschlossene Peer-Gruppen Y1 - 2005 ER - TY - CHAP A1 - Rakel, Daniel A1 - König, Hartmut A1 - Schmitt, Jens B. ED - Müller, Paul T1 - Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen T2 - Kommunikation in verteilten Systemen, Kurzbeiträge und Workshop der 14. GI/ITG-Fachtagung, 28. Februar - 3. März 2005 in Kaiserslautern Y1 - 2005 SN - 3-88579-390-3 SP - 159 EP - 162 PB - Ges. für Informatik CY - Bonn ER - TY - CHAP A1 - Liu, Fuwen A1 - König, Hartmut T1 - Secure and Efficient Key Distribution for Collaborative Applications T2 - 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 19 - 22 December 2005, San Jose, CA Y1 - 2005 SN - 1-424-40030-9 SP - 120 EP - 130 PB - IEEE Operations Center CY - Piscataway, NJ ER - TY - CHAP A1 - König, Hartmut T1 - Peer-to-Peer Intrusion Detection Systeme für den Schutz sensibler IT-Infrastrukturen Y1 - 2005 ER - TY - CHAP A1 - Liu, F. A1 - König, Hartmut T1 - Designing Security Architecture for a P2P Video Conference System Y1 - 2007 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 - 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 - 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 -