scientific article; zbMATH DE number 1390339
From MaRDI portal
Publication:4934628
zbMath0945.68004MaRDI QIDQ4934628
Nancy A. Durgin, John C. Mitchell
Publication date: 3 October 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Contract signing, optimism, and advantage ⋮ Information based reasoning about security protocols ⋮ Finite-state analysis of two contract signing protocols
This page was built for publication: