Formal enforcement of security policies on concurrent systems

DOI10.1016/J.JSC.2011.05.003MaRDI QIDQ2275899zbMATH OpenOpenAlexFDO

Authors Mahjoub Langar, Mohamed Mejri, Kamel Adi

Publication date 10 August 2011

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2011.05.003

zbMATH Keywords

process algebraconcurrent systemssecurity policiesexecution monitoringlanguage based security

Mathematics Subject Classification ID

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

Recommendations

• Formal Enforcement of Security Policies on Parallel Systems with Risk Integration
• ConSpec - A formal language for policy specification
• Enforceable Security Policies Revisited
• scientific article; zbMATH DE number 1864587
• A Declarative Framework for Security: Secure Concurrent Constraint Programming

Cites work

• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• A brief history of process algebra
• Formal enforcement of security policies on concurrent systems
• Process algebra with recursive operations

Cited in

(11)

• The enforcement of security policies for computation
• ConSpec - A formal language for policy specification
• Linguistic mechanisms for context-aware security
• Enforceable Security Policies Revisited
• A novel logic-based automatic approach to constructing compliant security policies
• Formal Enforcement of Security Policies on Parallel Systems with Risk Integration
• Process expression of security automaton
• Formal enforcement of security policies on concurrent systems
• There are two sides to every question. Controller versus attacker
• Safety enforcement via programmable strategies in Maude
• Real-time policy enforcement with metric first-order temporal logic

Describes a project that uses

Uses Software

• TALx86

This page was built for publication: Formal enforcement of security policies on concurrent systems

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