scientific article; zbMATH DE number 1759355
From MaRDI portal
Publication:4536296
zbMath0999.68569MaRDI QIDQ4536296
John C. Mitchell, Vitaly Shmatikov
Publication date: 28 November 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Authentication, digital signatures and secret sharing (94A62)
Related Items (2)
Mechanical proofs about BW multi-party contract signing protocol ⋮ Finite-state analysis of two contract signing protocols
This page was built for publication: