718 search results - page 86 / 144 » Security protocols, properties, and their monitoring |
152
click to vote
COMCOM
2008
15 years 6 months ago
2008
Despite the advantages offered by pure Peer-to-Peer (P2P) networks (e.g. robustness and fault tolerance), a crucial requirement is to guarantee basic security properties, such as ...
161
Voted
ESORICS
2009
Springer
16 years 6 months 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...
168
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
Given an arbitrary intruder deduction capability, modeled as an inference system S and a protocol, we show how to compute an inference system bS such that the security problem for ...
177
click to vote
NORDSEC
2009
Springer
16 years 19 days ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...
179
click to vote
CSFW
2004
IEEE
15 years 9 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...