Author of the publication

08102 Manifesto -- Perspectives Workshop: Network Attack Detection and Defense.

, , , , , and . Network Attack Detection and Defense, volume 08102 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)

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.

 

Other publications of authors with the same name

Behavior-based Spyware Detection, , , , and . #SEC06#, (2006)Security Testing of an Online Banking Service., , and . E-Commerce Security and Privacy, volume 2 of Advances in Information Security, Springer, (2001)Penetration state transition analysis: A rule-based intrusion detection approach., and . ACSAC, page 220-229. IEEE, (1992)Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications., and . ISSTA, page 15-27. ACM, (1994)Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems., and . ICSE, page 345-354. ACM, (2000)Understanding fraudulent activities in online ad exchanges., , , , , and . Internet Measurement Conference, page 279-294. ACM, (2011)Analyzing Encryption Protocols Using Formal Verification Authentication Schemes.. CRYPTO, volume 293 of Lecture Notes in Computer Science, page 289-305. Springer, (1987)Past pushdown timed automata and safety verification., , , and . Theor. Comput. Sci., 313 (1): 57-71 (2004)INATEST: an interactive environment for testing formal specifications., and . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 17-18 (1985)Status of ongoing security-relevant projects.. ACM SIGSOFT Softw. Eng. Notes, 6 (3): 42-43 (1981)