Keqin Li, Laurent Mounier, Roland Groz. Test Generation from Security Policies Specified in Or-BAC. In IEEE COMPSAC'07, Bejing, China, July 2007.
[ Test and run-time verification ]
@InProceedings{LiMounierGroz07,
Author = {Li, Keqin and Mounier, Laurent and Groz, Roland},
Title = {Test Generation from Security Policies Specified in Or-BAC},
BookTitle = {IEEE COMPSAC'07},
Address = {Bejing, China},
Month = {July},
Year = {2007}
}
Get EndNote Reference (.ref)