1059 search results - page 40 / 212 » Modeling Security Protocols as Games |
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
We introduce a Game Logic with Preferences (GLP), which makes it possible to reason about how information or assumptions about the preferences of other players can be used by agen...
IM
2007
13 years 8 months ago
2007
Vertex pursuit games, such as the game of Cops and Robbers, are a simplified model for network security. In these games, cops try to capture a robber loose on the vertices of the ...
EUROCRYPT
2006
Springer
14 years 13 days ago
2006
Springer
We show that, in the ideal-cipher model, triple encryption (the cascade of three independently-keyed blockciphers) is more secure than single or double encryption, thereby resolvin...
CTRSA
2006
Springer
14 years 13 days ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,
JDCTA
2010
13 years 3 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...