1059 search results - page 40 / 212 » Modeling Security Protocols as Games |
80
Voted
ATAL
2004
Springer
15 years 6 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...
110
Voted
IM
2007
15 years 15 days 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 ...
108
click to vote
EUROCRYPT
2006
Springer
15 years 4 months 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...
91
Voted
CTRSA
2006
Springer
15 years 4 months ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,
114
Voted
JDCTA
2010
14 years 7 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...