1342 search results - page 140 / 269 » Attacks are Protocols Too |
154
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...
164
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Security APIs are used to define the boundary between trusted and untrusted code. The security properties of existing APIs are not always clear. In this paper, we give a new generi...
168
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
We present a formal model for stateful security protocols. This model is used to define ownership and ownership transfer as concepts as well as security properties. These definitio...
176
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
We treat the security of group key exchange (GKE) in the universal composability (UC) framework. Analyzing GKE protocols in the UC framework naturally addresses attacks by maliciou...
163
click to vote
ICPADS
2007
IEEE
16 years 23 days ago
2007
IEEE
Security is a common problem in completely decentralized peer-to-peer systems. Although several suggestions exist on how to create a secure key-based routing protocol, a practicab...