4340 search results - page 224 / 868 » Formal Methods and Cryptography |
187
click to vote
SP
2003
IEEE
15 years 11 months ago
2003
IEEE
Consider a CIA agent who wants to authenticate herself to a server, but does not want to reveal her CIA credentials unless the server is a genuine CIA outlet. Consider also that t...
185
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
136
click to vote
CSFW
2010
IEEE
15 years 10 months ago
2010
IEEE
—Anonymous communication protocols must achieve two seemingly contradictory goals: privacy (informally, they must guarantee the anonymity of the parties that send/receive informa...
143
click to vote
EUROPKI
2007
Springer
15 years 10 months ago
2007
Springer
Time Capsule Signature, first formalized by Dodis and Yum in Financial Cryptography 2005, is a digital signature scheme which allows a signature to bear a (future) time t so that t...
181
click to vote
FC
2000
Springer
15 years 10 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...