18 search results - page 1 / 4 » How to do Things with Cryptographic Protocols |
ASIAN
2007
Springer
13 years 11 months ago
2007
Springer
CSFW
1998
IEEE
13 years 9 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
CTRSA
2010
Springer
13 years 11 months ago
2010
Springer
Typical security models used for proving security of deployed cryptographic primitives do not allow adversaries to rewind or reset honest parties to an earlier state. Thus, it is c...
ISPEC
2007
Springer
13 years 11 months ago
2007
Springer
Denial of Service (DoS) attacks are a virulent type of attack on the availability of networks’ intended services and resources. Defense against DoS attacks has been built into th...
SPW
2004
Springer
13 years 10 months ago
2004
Springer
This note presents a new way of composing cryptographic primitives which makes some novel combinations possible. For example, one can do threshold decryption using standard block c...