110
click to vote
ACSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Access control policies are often specified in declarative languages. In this paper, we propose a novel approach, called mutation verification, to assess the quality of properties...