Process Opacity for Timed Process Algebra

DOI10.1007/978-3-662-46823-4_13zbMath1434.68327OpenAlexW814942371MaRDI QIDQ3455066

Damas Gruska

Publication date: 3 December 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-46823-4_13

zbMATH Keywords

securityprocess algebrasinformation flowprocess opacity

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 Opacity for Timed Process Algebra