Vianney Darmaillacq, Jean-Luc Richier, Roland Groz. Test generation and execution for security rules in temporal logic. In First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway, Avril 2008.
Vianney Darmaillacq
Jean-Luc Richier
@InProceedings{SecTest08a,
Author = {Darmaillacq, Vianney and Richier, Jean-Luc and Roland Groz, },
Title = {{Test generation and execution for security rules in temporal logic}},
BookTitle = {First International Workshop on Security Testing, a satellite event of ICST 2008, April 9-11, 2008, Lillehammer, Norway},
Month = {April},
Year = {2008}
}
Charger la référence EndNote (.ref)