563 search results - page 11 / 113 » Verifiable Signature Sharing |
PPDP
2005
Springer
2005
Springer
A resolution strategy for verifying cryptographic protocols with CBC encryption and blind signatures
14 years 2 months ago
Formal methods have proved to be very useful for analyzing cryptographic protocols. However, most existing techniques apply to the case of abstract encryption schemes and pairing....
ICICS
2005
Springer
14 years 2 months ago
2005
Springer
JIPS
2011
13 years 3 months ago
2011
JISE
2011
13 years 3 months ago
2011