@inproceedings{LMG07,
title = {Test Generation from Security Policies Specified in Or-BAC },
author = {Li, Keqin and Mounier, Laurent and Groz, Roland},
month = {July},
year = {2007},
booktitle = {IEEE COMPSAC'07},
address = {Bejing, China},
team = {DCS,PACSS},
}
