SecTest08a

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, April 2008.

Contact

Vianney Darmaillacq
Jean-Luc Richier

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)