TY - CHAP A1 - Schmerl, Sebastian ED - Flegel, Ulrich ED - Holz, Thorsten T1 - Verifikation von Signaturen - Spezifikationsfehlern auf der Spur T2 - Proceedings of the 3rd GI Graduate Workshop on Reactive Security (SPRING) Y1 - 2008 UR - http://docplayer.org/3686739-3-gi-fg-sidar-graduierten-workshop-ueber-reaktive-sicherheit-spring-ulrich-flegel-thorsten-holz-hrsg-08-august-2008-mannheim.html SP - S. 15 CY - Mannheim ER - TY - CHAP A1 - Schmerl, Sebastian A1 - Vogel, Michael T1 - Efficient Analysis Distribution for Intrusion Detection T2 - Proceedings of the NATO RTO Information Systems and Technology Panel (IST) Symposium on Information Assurance for Emerging and Future Military Systems, 2008, Ljubljana, Slovenia Y1 - 2008 N1 - Originator's Reference RTO-MP-IST-076 AC/323(IST-076)TP/238 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 - 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 - GEN A1 - Vogel, Michael A1 - Rietz, René A1 - Schmerl, Sebastian T1 - Automated Generation of Precise Signatures T2 - Praxis der Informationsverarbeitung und Kommunikation : (PIK) Y1 - 2012 U6 - https://doi.org/10.1515/pik-2012-0007 SN - 0930-5157 VL - 35 IS - 1 SP - 40 EP - 45 ER -