Authorization in distributed systems: a formal approach

Thomas Y. C. Woo, Simon S. Lam. Authorization in distributed systems: a formal approach. In 1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992. pages 33-50, IEEE Computer Society, 1992. [doi]

@inproceedings{WooL92-0,
  title = {Authorization in distributed systems: a formal approach},
  author = {Thomas Y. C. Woo and Simon S. Lam},
  year = {1992},
  doi = {10.1109/RISP.1992.213272},
  url = {http://dx.doi.org/10.1109/RISP.1992.213272},
  researchr = {https://researchr.org/publication/WooL92-0},
  cites = {0},
  citedby = {0},
  pages = {33-50},
  booktitle = {1992 IEEE Computer Society Symposium on Research in Security and Privacy, Oakland, CA, USA, May 4-6, 1992},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-2825-1},
}