LedruSACMAT2011

Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of Security Policies by the Animation of Z Specifications. In SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Ruth Breu, Jason Crampton, Jorge Lobo (eds.), Pages 155-164, Innsbruck, Austria, 2011.

Contact

Yves Ledru
Muhammad-Nafees Qamar
Akram Idani
Jean-Luc Richier
Mohamed-Amine Labiadh

BibTex Reference

@InProceedings{LedruSACMAT2011,
   Author = {Ledru, Yves and Qamar, Muhammad Nafees and Idani, Akram and Richier, Jean-Luc and Labiadh, Mohamed-Amine},
   Title = {Validation of Security Policies by the Animation of Z Specifications},
   BookTitle = {SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies},
   editor = {Breu, Ruth and Crampton, Jason and Lobo, Jorge},
   Pages = {155--164},
   Publisher = {ACM},
   Address = {Innsbruck, Austria},
   Month = {},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)