A Formal Model for UNIX Setuid

Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine. A Formal Model for UNIX Setuid. In IEEE Symposium on Security and Privacy. pages 73-83, 1989.