733 search results - page 67 / 147 » Formal Reasoning About Intrusion Detection Systems |
104
click to vote
TISSEC
2008
14 years 11 months ago
2008
compromised sensor nodes. The framework provides an appropriate abstraction of applicationspecific detection mechanisms and models the unique properties of sensor networks. Based o...
IWCMC
2010
ACM
15 years 5 months ago
2010
ACM
We describe a general-purpose distributed system capable of traceback of malicious flow trajectories in the wide area despite possible source IP spoofing. Our system requires th...
77
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
107
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
JANCL
2007
14 years 11 months ago
2007
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...