scientific article; zbMATH DE number 1497862
From MaRDI portal
Publication:4499293
zbMath0966.68008MaRDI QIDQ4499293
Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli
Publication date: 5 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Bisimulation-based Non-deterministic Admissible Interference and its Application to the Analysis of Cryptographic Protocols ⋮ Formal models and analysis of secure multicast in wired and wireless networks
This page was built for publication:
