Process algebra contexts and security properties

DOI10.3233/FI-2010-297MaRDI QIDQ3008106zbMATH OpenOpenAlexFDO

Authors 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

uncertaintysecurityinformation flowopacitysurprisalquantified information flow

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1692932
• scientific article; zbMATH DE number 1487487
• Differential Privacy and Security
• Mathematical Foundations of Computer Science 2003
• Informational analysis of security and integrity

Cited in

(6)

• Trace equivalence and epistemic logic to express security properties
• scientific article; zbMATH DE number 2100573 (Why is no real title available?)
• Dynamics security policies and process opacity for timed process algebras
• Beyond separation of duty
• Informational analysis of security and integrity
• State-based opacity of labeled real-time automata

This page was built for publication: Process algebra contexts and security properties

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