53 search results - page 6 / 11 » Formal Specification of Intrusion Signatures and Detection R... |
HICSS
2003
IEEE
14 years 2 hour ago
2003
IEEE
We have built a system for protecting Internet services to securely connected, known users. It implements a generate-and-test approach for on-line attack identification and uses s...
ICETE
2004
13 years 8 months ago
2004
: - Modern intrusion detection systems are comprised of three basically different approaches, host based, network based, and a third relatively recent addition called procedural ba...
SP
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
CCS
2007
ACM
13 years 10 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
TISSEC
2010
13 years 1 months ago
2010
Storage-based intrusion detection allows storage systems to transparently watch for suspicious activity. Storage systems are well-positioned to spot several common intruder action...