Sciweavers

1186 search results - page 17 / 238
» Goal-Oriented Interaction Protocols
Sort
View
WETICE
1997
IEEE
15 years 3 months ago
Design of the Interactive Sharing Transfer Protocol
Richard C. Waters, David B. Anderson, Derek L. Sch...
CRYPTO
1995
Springer
89views Cryptology» more  CRYPTO 1995»
15 years 3 months ago
Secure Signature Schemes based on Interactive Protocols
Ronald Cramer, Ivan Damgård
JAPLL
2007
52views more  JAPLL 2007»
14 years 11 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind