scientific article
From MaRDI portal
Publication:2734837
zbMath1006.01014MaRDI QIDQ2734837
Sarah Flannery, David Flannery
Publication date: 26 August 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Problem books (00A07) Cryptography (94A60) Biographies, obituaries, personalia, bibliographies (01A70)
Related Items
Efficient approximate verification of B and Z models via symmetry markers, Basing cryptographic protocols on tamper-evident seals