1825 search results - page 36 / 365 » Cryptographic Securities Exchanges |
138
click to vote
ACISP
2010
Springer
15 years 5 months ago
2010
Springer
We introduce the concept of attribute-based authenticated key exchange (AB-AKE) within the framework of ciphertext policy attribute-based systems. A notion of AKE-security for AB-A...
152
click to vote
CTRSA
2010
Springer
15 years 10 months ago
2010
Springer
Fairly exchanging digital content is an everyday problem. It has been shown that fair exchange cannot be done without a trusted third party (called the Arbiter). Yet, even with a ...
136
Voted
ACSW
2003
15 years 4 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
119
click to vote
ACISP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract The Host Identity Protocol (HIP) is an Internet security and multiaddressing mechanism specified by the IETF. HIP introduces a new layer between the transport and network ...
116
click to vote
CSFW
2005
IEEE
15 years 9 months ago
2005
IEEE
We study an automatic technique for the verification of cryptographic protocols based on a Horn clause model of the protocol. This technique yields proofs valid for an unbounded ...