Process opacity for timed process algebra

DOI10.1007/978-3-662-46823-4_13MaRDI QIDQ3455066zbMATH OpenOpenAlexFDO

Authors 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

information flowprocess algebrasprocess opacitysecurity

Mathematics Subject Classification ID

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

Recommendations

• Dynamics security policies and process opacity for timed process algebras
• Simulation opacity
• Quantifying opacity
• Probabilistic opacity for Markov decision processes
• Enforcement and validation (at runtime) of various notions of opacity

Cited in

(5)

• Simulation opacity
• Dynamics security policies and process opacity for timed process algebras
• Quantifying security for timed process algebras
• Security in a model for long-running transactions
• State-based opacity of labeled real-time automata

This page was built for publication: Process opacity for timed process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3455066)