1059 search results - page 26 / 212 » Modeling Security Protocols as Games |
86
Voted
FM
2003
Springer
15 years 5 months ago
2003
Springer
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
113
Voted
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile ad hoc networks consist of mobile wireless devices which autonomously organize their infrastructure. In such a network, a central issue, ensured by routing protocols, is to ...
109
click to vote
ESORICS
2004
Springer
15 years 6 months ago
2004
Springer
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
ARGMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we propose a new persuasion dialogue game for agent communication. We show how this dialogue game is modeled by a framework based on social commitments and arguments....