scientific article; zbMATH DE number 2090701
From MaRDI portal
Publication:4813196
zbMath1065.68528MaRDI QIDQ4813196
Roberto Gorrieri, Alessandro Aldini
Publication date: 13 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2399/23990017.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Parametric probabilistic transition systems for system design and analysis ⋮ A framework for analyzing probabilistic protocols and its application to the partial secrets exchange
This page was built for publication:
