( en | de | ru )

 

Disambiguierung von "Levitt, Karl N."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Design and Implementation of FAITH, An Experimental System to Intercept and Manipulate Online Social Informatics.

, , , , , , und . ASONAM, Seite 195-202. IEEE Computer Society, (2011)

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)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)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)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)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)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)DRETA: distributed routing evidence tracing and authentication intrusion detection model for MANET., , und . AsiaCCS, Seite 395-397. ACM, (2007)