Keqin Li 0002 Laurent Mounier Roland Groz Test Generation from Security Policies Specified in Or-BAC. 255-260 2007 conf/compsac/2007 COMPSAC (2) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.210 db/conf/compsac/compsac2007-2.html#LiMG07