733 search results - page 61 / 147 » Formal Reasoning About Intrusion Detection Systems |
IFIP
2010
Springer
14 years 6 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
ASE
2008
15 years 1 hour ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
—A variety of partial modeling formalisms, aimed re and reason about abstractions, have been proposed. Some, e.g., Kripke Modal Transition Systems (KMTSs) put strong restrictions...
122
click to vote
CAV
2009
Springer
16 years 12 days ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
122
click to vote
JODS
2007
14 years 11 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...