%0 Conference Paper %1 conf/relsoft/WalterSORSSBBAG75 %A Walter, Kenneth G. %A Schaen, Samuel I. %A Ogden, William F. %A Rounds, William C. %A Shumway, D. G. %A Schaeffer, D. D. %A Biba, K. J. %A Bradshaw, Franklyn T. %A Ames, S. R. %A Gilligan, J. M. %B Reliable Software %D 1975 %E Shooman, Martin L. %E Yeh, Raymond T. %I ACM %K dblp %P 285-293 %T Structured specification of a Security Kernel. %U http://dblp.uni-trier.de/db/conf/relsoft/relsoft1975.html#WalterSORSSBBAG75 %@ 978-1-4503-7385-2

@inproceedings{conf/relsoft/WalterSORSSBBAG75, added-at = {2022-02-21T00:00:00.000+0100}, author = {Walter, Kenneth G. and Schaen, Samuel I. and Ogden, William F. and Rounds, William C. and Shumway, D. G. and Schaeffer, D. D. and Biba, K. J. and Bradshaw, Franklyn T. and Ames, S. R. and Gilligan, J. M.}, biburl = {https://www.bibsonomy.org/bibtex/22ac51e2638baf2f12ae870cfe54711af/dblp}, booktitle = {Reliable Software}, crossref = {conf/relsoft/1975}, editor = {Shooman, Martin L. and Yeh, Raymond T.}, ee = {https://doi.org/10.1145/390016.808450}, interhash = {8c55d3aec251e6c563a3abc3b11ae120}, intrahash = {2ac51e2638baf2f12ae870cfe54711af}, isbn = {978-1-4503-7385-2}, keywords = {dblp}, pages = {285-293}, publisher = {ACM}, timestamp = {2024-04-09T17:59:51.000+0200}, title = {Structured specification of a Security Kernel.}, url = {http://dblp.uni-trier.de/db/conf/relsoft/relsoft1975.html#WalterSORSSBBAG75}, year = 1975 }