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.
@inproceedings{LevinPI89,
title = {A Formal Model for UNIX Setuid},
author = {Timothy E. Levin and S. J. Padilla and Cynthia E. Irvine},
year = {1989},
tags = {meta-model, e-science, Meta-Environment},
researchr = {https://researchr.org/publication/LevinPI89},
cites = {0},
citedby = {0},
pages = {73-83},
booktitle = {IEEE Symposium on Security and Privacy},
}