scientific article; zbMATH DE number 1884406
From MaRDI portal
Publication:4798026
zbMath1007.68510MaRDI QIDQ4798026
Paul Syverson, Iliano Cervesato
Publication date: 18 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2171/21710063.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)
Related Items (3)
Encryption as an abstract data-type ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Decidable Extensions of Hennessy-Milner Logic
This page was built for publication:
