( en | de | ru )

 

Disambiguierung von "Levitt, Karl N."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Reasoning About Intrusion Detection Systems.

, , , , und . RAID, Volume 3224 von Lecture Notes in Computer Science, Seite 278-295. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

n n n

Cyril Levitt

n AÊ¿w n

N -L N Nguyen

n-hy n Yi

 

Weitere Publikationen von Autoren mit dem selben Namen

The Design and Implementation of a Data Level Database Inference Detection System., und . DBSec, Volume 142 von IFIP Conference Proceedings, Seite 253-266. Kluwer, (1998)Intrusion detection inter-component adaptive negotiation., , , , , , , , und . Comput. Networks, 34 (4): 605-621 (2000)DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET., , und . AsiaCCS, Seite 395-397. ACM, (2007)Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL., , , , , , und . HUG, Volume 780 von Lecture Notes in Computer Science, Seite 29-42. Springer, (1993)CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms., , und . KBSE, Seite 151-160. IEEE Computer Society, (1991)A class of nonlinear error correcting codes based upon interleaved two-level sequences (Corresp.)., und . IEEE Trans. Inf. Theory, 13 (2): 335-336 (1967)DEMEM: Distributed Evidence-Driven Message Exchange Intrusion Detection Model for MANET., , , und . RAID, Volume 4219 von Lecture Notes in Computer Science, Seite 249-271. Springer, (2006)Towards Applying the Composition Principle to Verify a Microkernel Operating System., , , , , und . TPHOLs, Volume 1125 von Lecture Notes in Computer Science, Seite 235-250. Springer, (1996)SELECT - a formal system for testing and debugging programs by symbolic execution., , und . Reliable Software, Seite 234-245. ACM, (1975)Discovery of Multi-Level Security Policies., , und . DBSec, Volume 201 von IFIP Conference Proceedings, Seite 173-184. Kluwer, (2000)