Simulation opacity

DOI10.3233/FI-2014-1069zbMATH Open1302.68201OpenAlexW2914410464MaRDI QIDQ2934893FDOQ2934893

Authors: Damas Gruska 

Publication date: 22 December 2014

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

Full work available at URL: https://doi.org/10.3233/fi-2014-1069

Recommendations

• Quantifying opacity
• Opacity of discrete event systems and its applications
• Enforcement and validation (at runtime) of various notions of opacity
• Process opacity for timed process algebra
• Modelling opacity using Petri nets

zbMATH Keywords

securityinformation flowprocess algebrasopacity

Mathematics Subject Classification ID

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

Cited In (3)

• Games with Opacity Condition
• Process opacity for timed process algebra
• Dynamics security policies and process opacity for timed process algebras

This page was built for publication: Simulation opacity

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