Foundations of Security Analysis and Design II

DOI10.1007/B95547zbMath1202.68163OpenAlexW4243744343MaRDI QIDQ5901850

Alessandro Aldini, Roberto Gorrieri, Herbert Wiklicky, Mario Bravetti, Chris Hankin, Alessandra Di Pierro

Publication date: 14 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95547

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14)

Related Items (4)

Unnamed Item ⋮ Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Non Expansive ε-Bisimulations

This page was built for publication: Foundations of Security Analysis and Design II