79
Voted
ACSAC
2008
IEEE
15 years 20 days 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...