( en | de | ru )

 

Disambiguation of "Kemmerer, Richard A."

Author of the publication

copydeleteadd this publication to your clipboard
Internet Security and Intrusion Detection.

, and . ICSE, page 748-749. IEEE Computer Society, (2003)

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

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)Status of ongoing security-relevant projects.. ACM SIGSOFT Softw. Eng. Notes, 6 (3): 42-43 (1981)INATEST: an interactive environment for testing formal specifications., and . ACM SIGSOFT Softw. Eng. Notes, 10 (4): 17-18 (1985)Past pushdown timed automata and safety verification., , , and . Theor. Comput. Sci., 313 (1): 57-71 (2004)Analyzing Encryption Protocols Using Formal Verification Authentication Schemes.. CRYPTO, volume 293 of Lecture Notes in Computer Science, page 289-305. Springer, (1987)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)