scientific article; zbMATH DE number 1024091
From MaRDI portal
Publication:4341785
zbMath0872.94035MaRDI QIDQ4341785
Publication date: 20 October 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
The meeting businessmen problem: requirements and limitations ⋮ Efficient general AGH-unification ⋮ Unifying simulatability definitions in cryptographic systems under different timing assumptions ⋮ Efficient General Unification for XOR with Homomorphism ⋮ Automatic verification of cryptographic protocols with SETHEO ⋮ A new logic for electronic commerce protocols