( en | de | ru )

 

Disambiguierung von "Levitt, Karl N."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks.

, , , , , und . Formal Aspects in Security and Trust, Volume 3866 von Lecture Notes in Computer Science, Seite 16-33. Springer, (2005)

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)CTPLAN: A Planning-Based Approach to Automatically Detecting Flaws in Concurrent Algorithms., , und . KBSE, Seite 151-160. IEEE Computer Society, (1991)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)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)A class of nonlinear error correcting codes based upon interleaved two-level sequences (Corresp.)., und . IEEE Trans. Inf. Theory, 13 (2): 335-336 (1967)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)Discovery of Multi-Level Security Policies., , und . DBSec, Volume 201 von IFIP Conference Proceedings, Seite 173-184. Kluwer, (2000)SELECT - a formal system for testing and debugging programs by symbolic execution., , und . Reliable Software, Seite 234-245. ACM, (1975)