Verification and Change Impact Analysis of Access-Control Policies (2005)

by K Fisler, S Krishnamurthi, L Meyerovich, M Tschantz
Venue:Proc. 27th Int’l Conf. Software Eng. (ICSE ’05