1422 search results - page 114 / 285 » Complementation in Abstract Interpretation |
149
click to vote
TCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
146
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
218
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—This paper explores the idea of knowledge-based security policies, which are used to decide whether to answer queries over secret data based on an estimation of the querier’s ...
123
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we address the problem of shape analysis for concurrent programs. We present new algorithms, based on abstract interpretation, for automatically verifying properties ...
122
click to vote
VMCAI
2009
Springer
15 years 11 months ago
2009
Springer
The Rely-Guarantee approach is a well-known compositional method for proving Hoare logic properties of concurrent programs. In this approach, predicates in the proof must be proved...