id: 70719970
dt: a
an: 70719970
au: Ledru, Yves; Qamar, Nafees; Idani, Akram; Richier, Jean-Luc; Labiadh,
    Mohamed-Amine
ti: Validation of security policies by the animation of Z specifications
so: SACMAT, 155-164 (2011).
py: 2011
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1145/1998441.1998471