Process Algebra Contexts and Security Properties

DOI10.3233/FI-2010-297zbMath1216.68189OpenAlexW1630078741MaRDI QIDQ3008106

Damas Gruska

Publication date: 14 June 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-297

zbMATH Keywords

uncertaintysecurityopacityinformation flowsurprisalquantified information flow

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Dynamics Security Policies and Process Opacity for Timed Process Algebras ⋮ State-based opacity of labeled real-time automata

This page was built for publication: Process Algebra Contexts and Security Properties