( en | de | ru )

 

Disambiguation of "Kemmerer, Richard A."

Author of the publication

copydeleteadd this publication to your clipboard
Using Generalization and Characterization Techniques in the Anomaly-based Detection of Web Attacks.

, , , and . NDSS, The Internet Society, (2006)

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.

Arthur Kemmerer

Matthias Kemmerer

Ernst Kemmerer

Andreas Kemmerer

Gerhard Kemmerer

 

Other publications of authors with the same name

Analyzing Encryption Protocols Using Formal Verification Authentication Schemes.. CRYPTO, volume 293 of Lecture Notes in Computer Science, page 289-305. Springer, (1987)Understanding fraudulent activities in online ad exchanges., , , , , and . Internet Measurement Conference, page 279-294. ACM, (2011)Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems., and . ICSE, page 345-354. ACM, (2000)Analyzing Encryption Protocols Using Formal Verification Techniques.. EUROCRYPT, page 48. (1986)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)Security Testing of an Online Banking Service., , and . E-Commerce Security and Privacy, volume 2 of Advances in Information Security, Springer, (2001)Analyzing encryption protocols using formal verification techniques.. IEEE J. Sel. Areas Commun., 7 (4): 448-457 (1989)Network attack detection and defense - Manifesto of the Dagstuhl Perspective Workshop, March 2nd-6th, 2008., , , , , and . Comput. Sci. Res. Dev., 23 (1): 15-25 (2009)UNISEX: A UNIX-based Symbolic EXecutor for Pascal., and . Softw. Pract. Exp., 15 (5): 439-458 (1985)