( en | de | ru )

 

Disambiguation of "Kemmerer, Richard A."

Author of the publication

copydeleteadd this publication to your clipboard
Covert Flow Trees: A Visual Approach to Analyzing Covert Storage Channels.

, and . IEEE Trans. Software Eng., 17 (11): 1166-1185 (1991)

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

Aslantest: A Symbolic Execution Tool for Testing Aslan Formal Specifications., and . ISSTA, page 15-27. ACM, (1994)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 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)Analyzing Encryption Protocols Using Formal Verification Techniques.. EUROCRYPT, page 48. (1986)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)Analyzing encryption protocols using formal verification techniques.. IEEE J. Sel. Areas Commun., 7 (4): 448-457 (1989)