Sciweavers

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