A Formal Approach for Security Policy Enforcement in Concurrent Programs.

Mahjoub Langar Mohamed Mejri Kamel Adi A Formal Approach for Security Policy Enforcement in Concurrent Programs. 165-171 2007 conf/csreaSAM/2007 Security and Management db/conf/csreaSAM/csreaSAM2007.html#LangarMA07