Login / Signup
Automatic generation of model based tests for a class of security properties.
Pierre-Alain Masson
Jacques Julliand
Jean-Chritophe Plessis
Eddie Jaffuel
Georges Debois
Published in:
A-MOST (2007)
Keyphrases
</>
security properties
formal model
security requirements
security analysis
real time
object oriented
smart card
security protocols