1059 search results - page 58 / 212 » Modeling Security Protocols as Games |
IACR
2011
12 years 9 months ago
2011
Abstract. We describe and analyze the password-based key establishment protocol PACE v2 Integrated Mapping (IM), an evolution of PACE v1 jointly proposed by Gemalto and Sagem S´ec...
ATAL
2011
Springer
12 years 10 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Incorporating pricing information in routing systems has been explored in various contexts and fashions. In this paper we examine certain fundamental properties importa...
EVOW
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Nature inspired routing protocols for fixed and mobile networks are becoming an active area of research. However, analyzing their security threats and countering them hav...
EUROCRYPT
2008
Springer
13 years 11 months ago
2008
Springer
Recently, Aumann and Lindell introduced a new realistic security model for secure computation, namely, security against covert adversaries. The main motivation was to obtain secure...