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.

Authors

Timothy E. Levin

This author has not been identified. Look up 'Timothy E. Levin' in Google

S. J. Padilla

This author has not been identified. Look up 'S. J. Padilla' in Google

Cynthia E. Irvine

This author has not been identified. Look up 'Cynthia E. Irvine' in Google