Classification of security properties in a Linda-like process algebra

DOI10.1016/J.SCICO.2005.07.010MaRDI QIDQ2432759zbMATH OpenOpenAlexWikidataFDO

Authors Alessandro Aldini

Publication date 25 October 2006

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2005.07.010

zbMATH Keywords

behavioural equivalencecoordination modelinformation flow analysisnoninterference propertiesprocess algebra

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 1884409
• scientific article; zbMATH DE number 1884405
• Foundations of Security Analysis and Design II
• scientific article; zbMATH DE number 1864587
• scientific article; zbMATH DE number 1863164

Cited in

(6)

• Supporting secure coordination in SecSpaces
• scientific article; zbMATH DE number 1487487 (Why is no real title available?)
• scientific article; zbMATH DE number 1884409 (Why is no real title available?)
• Branching bisimulation semantics enables noninterference analysis of reversible systems
• Noninterference analysis of reversible systems: an approach based on branching bisimilarity
• Hypercyclicity of translation operators in a reproducing kernel Hilbert space of entire functions induced by an analytic Hilbert-space-valued kernel

This page was built for publication: Classification of security properties in a Linda-like process algebra

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