@inproceedings{TwarokLangendoerferKoenig, author = {Twarok, Sven and Langend{\"o}rfer, Peter and K{\"o}nig, Hartmut}, title = {Automated Derivation of ILP Implementations from SDL Specifications}, series = {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}, booktitle = {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}, editor = {Kim, Myungchul}, publisher = {Kluwer}, address = {Boston [u.a.]}, isbn = {0-7923-7470-3}, pages = {3 -- 18}, language = {en} } @inproceedings{Koenig, author = {K{\"o}nig, Hartmut}, title = {Testing of Communicating Systems XIV (TestCom 2002): Application to Internet Technologies and Services}, language = {en} } @inproceedings{LiuKoenig, author = {Liu, Fuwen and K{\"o}nig, Hartmut}, title = {Ein Ansatz f{\"u}r eine effiziente Schl{\"u}sselverteilung f{\"u}r kleine geschlossene Peer-Gruppen}, language = {de} } @inproceedings{RakelKoenigSchmitt, author = {Rakel, Daniel and K{\"o}nig, Hartmut and Schmitt, Jens B.}, title = {Effiziente Medienstromverteilung in geschlossenen Peer-to-Peer-Videokonferenzsystemen}, series = {Kommunikation in verteilten Systemen, Kurzbeitr{\"a}ge und Workshop der 14. GI/ITG-Fachtagung, 28. Februar - 3. M{\"a}rz 2005 in Kaiserslautern}, booktitle = {Kommunikation in verteilten Systemen, Kurzbeitr{\"a}ge und Workshop der 14. GI/ITG-Fachtagung, 28. Februar - 3. M{\"a}rz 2005 in Kaiserslautern}, editor = {M{\"u}ller, Paul}, publisher = {Ges. f{\"u}r Informatik}, address = {Bonn}, isbn = {3-88579-390-3}, pages = {159 -- 162}, language = {de} } @inproceedings{LiuKoenig, author = {Liu, Fuwen and K{\"o}nig, Hartmut}, title = {Secure and Efficient Key Distribution for Collaborative Applications}, series = {2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 19 - 22 December 2005, San Jose, CA}, booktitle = {2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom), 19 - 22 December 2005, San Jose, CA}, publisher = {IEEE Operations Center}, address = {Piscataway, NJ}, isbn = {1-424-40030-9}, pages = {120 -- 130}, language = {en} } @inproceedings{Koenig, author = {K{\"o}nig, Hartmut}, title = {Peer-to-Peer Intrusion Detection Systeme f{\"u}r den Schutz sensibler IT-Infrastrukturen}, language = {de} } @inproceedings{LiuKoenig, author = {Liu, F. and K{\"o}nig, Hartmut}, title = {Designing Security Architecture for a P2P Video Conference System}, 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{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{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} }