... Cohen, W. Corwin, F. Pollack and W. Wulf, 'Policy/Mechanism Separation in HYDRA, ... W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack, 'HYDRA: The ...
transfer ta(cs461) to amber. transfer ta(cs461) to corwin. transfer ta(cs461) to alice ... remove ta(cs523) from the subject amber. transfer ta(cs523) to curtiss ...
... Krishnamurthi, S., Meyerovich, L. A., and Tschantz, M. C. 2005. Verification and change-impact analysis of access-control policies. In Proceedings of the 27th ...