Automatic generation of model based tests for a class of security properties. - Pierre-Alain Masson; Jacques Julliand; Jean-Chritophe Plessis; Eddie Jaffuel; Georges Debois (A-MOST, 2007)