19 search results - page 1 / 4 » Inductive methods and contract-signing protocols |
CSFW
2005
IEEE
13 years 11 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 10 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 11 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 10 months ago
2001
ACM
CAV
1998
Springer
13 years 10 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...