1059 search results - page 26 / 212 » Modeling Security Protocols as Games |
FM
2003
Springer
14 years 1 months ago
2003
Springer
FSTTCS
2008
Springer
13 years 9 months ago
2008
Springer
CSFW
2010
IEEE
14 years 19 days 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 ...
ESORICS
2004
Springer
14 years 2 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
14 years 2 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....