1059 search results - page 112 / 212 » Modeling Security Protocols as Games |
116
Voted
B
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
104
click to vote
EUROCRYPT
2007
Springer
15 years 6 months ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
116
Voted
EUROCRYPT
1999
Springer
15 years 4 months ago
1999
Springer
Problems of secure communication and computation have been studied extensively in network models. Goldreich, Goldwasser, and Linial, Franklin and Yung, and Franklin and Wright have...
116
Voted
ESORICS
2011
Springer
14 years 9 days ago
2011
Springer
This paper critically examines some recently proposed RFID privacy models. It shows that some models suffer from weaknesses such as insufficient generality and unrealistic assumpt...
108
click to vote
CRYPTO
2011
Springer
14 years 11 days ago
2011
Springer
Secure computation enables mutually suspicious parties to compute a joint function of their private inputs while providing strong security guarantees. Amongst other things, even i...