Date 2003
Filter Results
Displaying Results 1 - 25 of 28
-
Learning unknown attacks - a start
|
PDF (340 KB)
-
Survival by defense-enabling
|
PDF (249 KB)
-
-
-
-
-
-
Making mobile code both safe and efficient
|
PDF (1734 KB)
-
-
-
-
-
Formal specification and verification of a group membership protocol for an intrusion-tolerant group communication system
|
PDF (308 KB)
-
-
-
-
-
-
Foundational proof-carrying code
|
PDF (278 KB)
-
Foundations of Intrusion Tolerant Systems
|
PDF (441 KB)
-
-
-
A type system for certi .ed binaries
|
PDF (504 KB)
-
Enforceable security policies
|
PDF (293 KB)
-
Introduction
|
PDF (280 KB)


