Lawrence Snyder
R. J. Lipton and L. Snyder.
A linear time algorithm for deciding subject security.
Journal of the ACM
, 24(3):455-464, July 1977.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database