Trustworthy Global Computing

DOI10.1007/11580850zbMath1151.68523OpenAlexW2972035647MaRDI QIDQ5394792

Sabina Rossi, Silvia Crafa

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) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Controlling information release in the \(\pi\)-calculus ⋮ Combining behavioural types with security analysis

This page was built for publication: Trustworthy Global Computing