2007 | ||
---|---|---|
3 | Mahjoub Langar, Mohamed Mejri, Kamel Adi: A Formal Approach for Security Policy Enforcement in Concurrent Programs. Security and Management 2007: 165-171 | |
2 | T. Mechri, Mahjoub Langar, Mohamed Mejri, Hamido Fujita, Yutaka Funyu: Automatic Enforcement of Security in Computer Networks. SoMeT 2007: 200-222 | |
2005 | ||
1 | Mahjoub Langar, Mohamed Mejri: Formal and Efficient Enforcement of Security Policies. FCS 2005: 143-149 |
1 | Kamel Adi | [3] |
2 | Hamido Fujita | [2] |
3 | Yutaka Funyu | [2] |
4 | T. Mechri | [2] |
5 | Mohamed Mejri | [1] [2] [3] |