733 search results - page 106 / 147 » Formal Reasoning About Intrusion Detection Systems |
SIROCCO
2004
15 years 1 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...
182
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
Fundamental to data cleaning is the need to account for multiple data representations. We propose a formal framework that can be used to reason about and manipulate data represent...
101
click to vote
ESORICS
2002
Springer
15 years 11 months ago
2002
Springer
Abstract. An important goal of security in information systems is confidentiality. A confidentiality policy specifies which users should be forbidden to acquire what kind of inform...
129
click to vote
CIKM
2009
Springer
15 years 6 months ago
2009
Springer
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
QEST
2007
IEEE
15 years 6 months ago
2007
IEEE
Stochastic game logic (SGL) is a new temporal logic that combines features of alternating temporal logic (to formalize the individual views and cooperation and reaction facilities...