294 search results - page 34 / 59 » Analyzing Consistency of Security Policies |
105
click to vote
RAID
2004
Springer
15 years 7 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
104
Voted
CN
1999
15 years 1 months ago
1999
We describe Bro, a stand-alone system for detecting network intruders in real-time by passively monitoring a network link over which the intruder's traffic transits. We give ...
96
Voted
HUC
2009
Springer
15 years 6 months ago
2009
Springer
Future homes will be populated with large numbers of robots with diverse functionalities, ranging from chore robots to elder care robots to entertainment robots. While household r...
125
click to vote
CSFW
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
120
Voted
ICDCS
2003
IEEE
15 years 7 months ago
2003
IEEE
We present the design of a distributed store that offers various levels of security guarantees while tolerating a limited number of nodes that are compromised by an adversary. The...