452 search results - page 21 / 91 » Interfacing Trusted Applications with Intrusion Detection Sy... |
SP
2009
IEEE
15 years 4 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
KDD
2002
ACM
15 years 10 months ago
2002
ACM
Security of computer systems is essential to their acceptance and utility. Computer security analysts use intrusion detection systems to assist them in maintaining computer system...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Network Intrusion Detection Systems (NIDS) monitor a network with the aim of discerning malicious from benign activity on that network. While a wide range of approaches h...
VEE
2006
ACM
15 years 3 months ago
2006
ACM
Virtual Machine Monitors (VMMs) are a common tool for implementing honeypots. In this paper we examine the implementation of a VMM-based intrusion detection and monitoring system ...