par Chadha, Rohit;Kremer, Steve ;Scedrov, Andre
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; Kremer, Steve; Scedrov, Andre
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 générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:1063-6900
info:scp/4944247375