Quantifying security for timed process algebras

MaRDI QIDQ5192931zbMATH OpenFDO

Authors Damas Gruska

Publication date 10 August 2009

zbMATH Keywords

information flowinformation theoryopacitysecuritysurprisaluncertaintyunprecise and limited observations

Mathematics Subject Classification ID

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

Recommendations

• Probabilistic information flow security
• Information-Flow Attacks Based on Limited Observations
• Observation based system security
• Process opacity for timed process algebra
• scientific article; zbMATH DE number 1863164

Cited in

(3)

• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Dynamics security policies and process opacity for timed process algebras
• Information flow for timed automata

This page was built for publication: Quantifying security for timed process algebras

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