A Formal Approach for Security Policy Enforcement in Concurrent Programs.
Year: 2007
Type: article
Source: Security and Management
Authors: Mahjoub Langar, Mohamed Mejri, Kamel Adi
Language: English
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W201010429