2 search results - page 1 / 1 » BlackBox: lightweight security monitoring for COTS binaries |
WETICE
2005
IEEE
14 years 2 months ago
2005
IEEE
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
EUROSYS
2007
ACM
14 years 5 months ago
2007
ACM
The vulnerabilities which plague computers cause endless grief to users. Slammer compromised millions of hosts in minutes; a hit-list worm would take under a second. Recently prop...