1059 search results - page 28 / 212 » Modeling Security Protocols as Games |
EUROCRYPT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
IEEEARES
2010
IEEE
14 years 3 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
ESAS
2006
Springer
14 years 12 days ago
2006
Springer
We investigate the performance of of several protocol enhancements to the On-Demand Secure Byzantine Routing (ODSBR) [3] protocol in the presence of various Byzantine Attack models...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Predictable allocations of security resources such as police officers, canine units, or checkpoints are vulnerable to exploitation by attackers. Recent work has applied game-theo...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—We propose an interference-aware MAC protocol using a simple transmission strategy motivated by a gametheoretic approach. We formulate a channel access game, which considers nod...