733 search results - page 38 / 147 » Formal Reasoning About Intrusion Detection Systems |
116
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Intrusion detection systems create large amounts of alerts. Significant part of these alerts can be seen as background noise of an operational information system, and its quantity...
105
click to vote
JSW
2008
15 years 1 months ago
2008
Aspect-oriented concepts are currently introduced in early stages of software development to achieve better separation of concerns. However, at the architecture level, there exists...
178
click to vote
DIMVA
2011
14 years 5 months ago
2011
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
114
click to vote
OPODIS
2004
15 years 3 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
128
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...