5255 search results - page 548 / 1051 » Formal Methods for Privacy |
196
click to vote
CAV
2005
Springer
16 years 19 days ago
2005
Springer
ORCHIDS is an intrusion detection tool based on techniques for fast, on-line model-checking. Temporal formulae are taken from a temporal logic tailored to the description of intrus...
161
click to vote
FMCO
2005
Springer
16 years 18 days ago
2005
Springer
Abstract. We compare the expressive power of process calculi by studying the problem of electing a leader in a symmetric network of processes. We consider the π-calculus with mixe...
173
click to vote
CAV
2004
Springer
16 years 14 days ago
2004
Springer
This paper presents a symbolic model checking algorithm for Fixpoint Logic with Chop, an extension of the modal µ-calculus capable of defining non-regular properties. Some empiri...
176
click to vote
CAV
2004
Springer
16 years 14 days ago
2004
Springer
This paper reviews the principles behind the paradigm of “abstract interpretation via § -valued logic,” discusses recent work to extend the approach, and summarizes ongoing re...
194
click to vote
FMCAD
2004
Springer
16 years 14 days ago
2004
Springer
We present a new and very simple translation of the bounded model checking problem which is linear both in the size of the formula and the length of the bound. The resulting CNF-fo...