John M. Rushby, Brian Randell. A Distributed Secure System. IEEE Computer, 16(7):55-67, 1983. [doi]
@article{RushbyR83-0, title = {A Distributed Secure System}, author = {John M. Rushby and Brian Randell}, year = {1983}, doi = {10.1109/MC.1983.1654443}, url = {http://doi.ieeecomputersociety.org/10.1109/MC.1983.1654443}, researchr = {https://researchr.org/publication/RushbyR83-0}, cites = {0}, citedby = {0}, journal = {IEEE Computer}, volume = {16}, number = {7}, pages = {55-67}, }