Yves Ledru, Akram Idani, Jérémy Milhau, Muhammad Nafees Qamar, Régine Laleau, et al.. Taking into Account Functional Models in the Validation of IS Security Policies.
WISSE 2011 - 1st International Workshop on Information Systems Security Engineering (in CAiSE 2011), Jun 2011, London, United Kingdom. pp.592-606,
⟨10.1007/978-3-642-22056-2_62⟩.
⟨hal-00860806⟩