48 search results - page 10 / 10 » Practical static analysis for inference of security-related ... |
190
click to vote
VLDB
2007
ACM
16 years 15 days ago
2007
ACM
This paper introduces a class of conditional inclusion dependencies (CINDs), which extends traditional inclusion dependencies (INDs) by enforcing bindings of semantically related ...
105
click to vote
ESORICS
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
112
Voted
JAR
2006
15 years 7 days ago
2006
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...