![]() | ![]() |
2005 | ||
---|---|---|
1 | EE | Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyerovich, Michael Carl Tschantz: Verification and change-impact analysis of access-control policies. ICSE 2005: 196-205 |
1 | Kathi Fisler | [1] |
2 | Shriram Krishnamurthi | [1] |
3 | Michael Carl Tschantz | [1] |