H. Marchand, J. Dubreil, T. Jéron, Automatic Testing of Access Control for Security Properties, in TestCom'09, 2009.

Jump to : Contact | BibTex reference | EndNote reference |

Contact

Hervé Marchand
hmarchan@irisa.fr

Jérémy Dubreil
jeremy.dubreil@irisa.fr

Thierry Jéron
Thierry.Jeron@irisa.fr

BibTex Reference

@InProceedings{testcom09,
   Author = {Marchand, H. and Dubreil, J. and Jéron, T.},
   Title = {Automatic Testing of Access Control for Security Properties},
   BookTitle = {TestCom'09},
   Year = {2009}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

This page has been automatically generated using the bib2html program.