733 search results - page 86 / 147 » Formal Reasoning About Intrusion Detection Systems |
111
click to vote
HICSS
2000
IEEE
15 years 4 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
128
click to vote
GLOBECOM
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Today's file sharing networks are creating potential security problems to enterprise networks, i.e., the leakage of confidential documents. In order to prevent such ...
TRUSTBUS
2007
Springer
15 years 6 months ago
2007
Springer
While logging events is becoming increasingly common in computing, in communication and in collaborative environments, log systems need to satisfy increasingly challenging (if not ...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
101
click to vote
FLAIRS
2001
15 years 1 months ago
2001
We present our consistency support tool BIS, an extension to the electronic product data management system (EPDMS) used at DaimlerChrysler AG to configure the Mercedes lines of pa...