719 search results - page 68 / 144 » Proving Security Protocols Correct |
ESORICS
2003
Springer
15 years 3 months ago
2003
Springer
Recently, David Chaum proposed an electronic voting scheme that combines visual cryptography and digital processing. It was designed to meet not only mathematical security standard...
FMCAD
2008
Springer
14 years 11 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
SCN
2010
Springer
14 years 8 months ago
2010
Springer
The Fiat-Shamir (FS) transform is a popular tool to produce particularly efficient digital signature schemes out of identification protocols. It is known that the resulting signat...
114
click to vote
PLDI
2012
ACM
13 years 7 days ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
DSN
2007
IEEE
15 years 4 months ago
2007
IEEE
Sleep-wake protocols are critical in sensor networks to ensure long-lived operation. However, an open problem is how to develop efficient mechanisms that can be incorporated with ...