par Chadha, Rohit R.; Kremer, Steve Liste de publications; Scedrov, Andre A.
Référence Proceedings - Computer Security Foundations Workshop, 17, (page 266-279)
Publication Publié, 2004
Article révisé par les pairs
Titre :
  • Formal analysis of multi-party contract signing
Auteur : Chadha, Rohit R. ; Kremer, Steve ; Scedrov, Andre A.
Informations sur la publication : Proceedings - Computer Security Foundations Workshop, 17, (page 266-279)
Statut de publication : Publié, 2004
Sujet CREF : Informatique appliquée logiciel
Note : SCOPUS: cp.p
Langue :
  • Anglais
Identificateurs : urn:issn:1063-6900