A Formal Approach for Security Policy Enforcement in Concurrent Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mahjoub Langar, Mohamed Mejri, Kamel Adi. A Formal Approach for Security Policy Enforcement in Concurrent Programs. In Selim Aissi, Hamid R. Arabnia, editors, Proceedings of the 2007 International Conference on Security & Management, SAM 2007, Las Vegas, Nevada, USA, June 25-28, 2007. pages 165-171, CSREA Press, 2007.

This author has not been identified. It may be one of the following persons:

Mahjoub Langar

Look up 'Mahjoub Langar' in GoogleThis author has not been identified. It may be one of the following persons:

Mohamed Mejri

Look up 'Mohamed Mejri' in GoogleThis author has not been identified. Look up 'Kamel Adi' in Google

runs on WebDSL