1059 search results - page 111 / 212 » Modeling Security Protocols as Games |
132
click to vote
PET
2012
Springer
13 years 3 months ago
2012
Springer
Real-time statistics on smart meter consumption data must preserve consumer privacy and tolerate smart meter failures. Existing protocols for this private distributed aggregation m...
108
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
122
click to vote
ESORICS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
103
Voted
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
117
Voted
ADHOC
2008
15 years 21 days ago
2008
In this paper, we present a secure group key management scheme for hierarchical mobile ad-hoc networks. Our approach aims to improve both scalability and survivability of group ke...