Sciweavers

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