Formal enforcement of security policies on concurrent systems

DOI10.1016/J.JSC.2011.05.003zbMATH Open1218.68106OpenAlexW1982369376MaRDI QIDQ2275899FDOQ2275899

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

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

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)

Cites Work

• Title not available (Why is that?)
• Process algebra with recursive operations
• A brief history of process algebra
• Formal enforcement of security policies on concurrent systems

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
• Real-time policy enforcement with metric first-order temporal logic
• Safety enforcement via programmable strategies in Maude

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)