Taking into Account Functional Models in the Validation of IS Security Policies.

Yves Ledru, Akram Idani, Jrmy Milhau, Nafees Qamar, Rgine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh

Browse the full CaiSE paper archive.