19 search results - page 1 / 4 » Inductive methods and contract-signing protocols |
CSFW
2005
IEEE
13 years 10 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
NDSS
2000
IEEE
13 years 9 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
PODC
2003
ACM
13 years 10 months ago
2003
ACM
Applications such as e-commerce payment protocols, electronic contract signing, and certified e-mail delivery require that fair exchange be assured. A fair-exchange protocol allo...
CCS
2001
ACM
13 years 9 months ago
2001
ACM
CAV
1998
Springer
13 years 9 months ago
1998
Springer
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...