scientific article
From MaRDI portal
Publication:2754128
zbMath0974.68562MaRDI QIDQ2754128
Publication date: 18 December 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cryptography (94A60) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (5)
Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols ⋮ Verification of cryptographic protocols: tagging enforces termination ⋮ Pattern-matching spi-calculus ⋮ TAPS ⋮ A symbolic decision procedure for cryptographic protocols with time stamps
Uses Software
This page was built for publication:
