par Kremer, Steve ;Raskin, Jean-François
Référence Journal of computer security, 11, 3, page (399-429)
Publication Publié, 2003
Article révisé par les pairs
Titre:
  • A game-based verification of non-repudiation and fair exchange protocols
Auteur:Kremer, Steve; Raskin, Jean-François
Informations sur la publication:Journal of computer security, 11, 3, page (399-429)
Statut de publication:Publié, 2003
Sujet CREF:Informatique mathématique
Mots-clés:Exchange protocols
Fair exchange
Fairness
Security properties
Security protocols
Note générale:SCOPUS: ar.j
Langue:Anglais
Identificateurs:urn:issn:0926-227X
info:scp/0037937457

Documents en relation

DI-fusion