1059 search results - page 112 / 212 » Modeling Security Protocols as Games |
135
Voted
B
2007
Springer
15 years 7 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...
126
Voted
EUROCRYPT
2007
Springer
15 years 9 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...
139
Voted
EUROCRYPT
1999
Springer
15 years 8 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...
137
Voted
ESORICS
2011
Springer
14 years 3 months 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...
132
Voted
CRYPTO
2011
Springer
14 years 3 months 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...