Sciweavers

3938 search results - page 52 / 788
» Interactive Protocols on the Reals
Sort
View
CRYPTO
1995
Springer
89views Cryptology» more  CRYPTO 1995»
14 years 2 months ago
Secure Signature Schemes based on Interactive Protocols
Ronald Cramer, Ivan Damgård
JAPLL
2007
52views more  JAPLL 2007»
13 years 11 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind
DOCENG
2009
ACM
13 years 8 months ago
A REST protocol and composite format for interactive web documents
John M. Boyer, Charles Wiecha, Rahul P. Akolkar