Validation of security policies by the animation of Z specifications.

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

Browse the full SACMAT paper archive.