Sciweavers

1186 search results - page 17 / 238
» Goal-Oriented Interaction Protocols
Sort
View
WETICE
1997
IEEE
14 years 2 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»
14 years 1 months ago
Secure Signature Schemes based on Interactive Protocols
Ronald Cramer, Ivan Damgård
JAPLL
2007
52views more  JAPLL 2007»
13 years 9 months ago
Specifying and verifying interaction protocols in a temporal action logic
Laura Giordano, Alberto Martelli, Camilla Schwind