Trustworthy Global Computing

DOI10.1007/11580850zbMath1151.68464OpenAlexW2972035647MaRDI QIDQ5394801

Sébastien Briais, Uwe Nestmann

Publication date: 1 November 2006

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

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

Mathematics Subject Classification ID

Cryptography (94A60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

On the semantics of Alice \& Bob specifications of security protocols ⋮ Open bisimulation, revisited ⋮ A Calculus of Global Interaction based on Session Types

This page was built for publication: Trustworthy Global Computing