273 search results - page 28 / 55 » Modular Security Proofs for Key Agreement Protocols |
111
click to vote
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in t...
112
click to vote
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a hardware architecture for modular multiplication operation which is efficient for bit-lengths suitable for both commonly used types of Public Key Cryptogra...
CRYPTO
2000
Springer
15 years 4 months ago
2000
Springer
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...
116
click to vote
JOC
2007
14 years 11 months ago
2007
In the security chain the weakest link is definitely the human one: human beings cannot remember long secrets and often resort to rather insecure solutions to keep track of their ...
118
click to vote
CCS
2010
ACM
14 years 9 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...