( en | de | ru )

 

Disambiguation of "Kemmerer, Richard A."

Author of the publication

copydeleteadd this publication to your clipboard
Past Pushdown Timed Automata.

, , , and . CIAA, volume 2494 of Lecture Notes in Computer Science, page 74-86. Springer, (2001)

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

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)Analyzing encryption protocols using formal verification techniques.. IEEE J. Sel. Areas Commun., 7 (4): 448-457 (1989)Hi-DRA: Intrusion Detection for Internet Security., and . Proc. IEEE, 93 (10): 1848-1857 (2005)Penetration state transition analysis: A rule-based intrusion detection approach., and . ACSAC, page 220-229. IEEE, (1992)Analyzing Encryption Protocols Using Formal Verification Techniques.. EUROCRYPT, page 48. (1986)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)