PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Vogel, Michael"

Author of the publication

copydeleteadd this publication to your clipboard
Using model checking to identify errors in intrusion detection signatures.

, , and . STTT, 13 (1): 89-106 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

J. Vogel

J. Vogel

Jonas Vogelsang University of Stuttgart

Wolfgang Vogel

Dr. -Ing. Wolfgang Vogel University of Stuttgart

 

Other publications of authors with the same name

Analyseverlagerung in IDS-Overlaynetzen., , and . Praxis der Informationsverarbeitung und Kommunikation, 32 (3): 188-200 (2009)Protection Profiles and Generic Security Targets for Smart Cards as Secure Signature Creation Devices - Existing Solutions for the Payment Sector., and . E-smart, volume 2140 of Lecture Notes in Computer Science, page 179-187. Springer, (2001)Detection and Classification of Sleep-Disordered Breathing Using Acoustic Respiratory Input Impedance and Nasal Pressure., , , , , , and . ISMDA, volume 1933 of Lecture Notes in Computer Science, page 61-66. Springer, (2000)Efficient Distributed Signature Analysis., , and . AIMS, volume 6734 of Lecture Notes in Computer Science, page 13-25. Springer, (2011)Automatic Generation of Cycle Accurate SystemC Models for Application Specific Clustered VLIW Processors., and . MBMV, page 81-90. Shaker, (2008)Identifying Modeling Errors in Signatures by Model Checking., , and . SPIN, volume 5578 of Lecture Notes in Computer Science, page 205-222. Springer, (2009)Efficient Distributed Intrusion Detection applying Multi Step Signatures., and . KiVS, volume 17 of OASIcs, page 188-193. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2011)Automated Generation of Precise Signatures., , and . Praxis der Informationsverarbeitung und Kommunikation, 35 (1): 40-45 (2012)Modeling a distributed intrusion detection system using collaborative building blocks., , , , , , and . ACM SIGSOFT Software Engineering Notes, 36 (1): 1-8 (2011)Using model checking to identify errors in intrusion detection signatures., , and . STTT, 13 (1): 89-106 (2011)