{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:54:59Z","timestamp":1725612899321},"reference-count":14,"publisher":"IEEE","license":[{"start":{"date-parts":[[1979,6,1]],"date-time":"1979-06-01T00:00:00Z","timestamp":297043200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[1979,6,1]],"date-time":"1979-06-01T00:00:00Z","timestamp":297043200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979,6]]},"DOI":"10.1109\/mark.1979.8817171","type":"proceedings-article","created":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T20:47:36Z","timestamp":1567111656000},"page":"355-364","source":"Crossref","is-referenced-by-count":6,"title":["UCLA Secure Unix"],"prefix":"10.1109","author":[{"given":"GERALD J.","family":"POPEK","sequence":"first","affiliation":[]},{"given":"MARK","family":"KAMPE","sequence":"additional","affiliation":[]},{"given":"CHARLES S.","family":"KLINE","sequence":"additional","affiliation":[]},{"given":"ALLEN","family":"STOUGHTON","sequence":"additional","affiliation":[]},{"given":"MICHAEL","family":"URBAN","sequence":"additional","affiliation":[]},{"given":"EVELYN J.","family":"WALTON","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1975.9939"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/800214.806546"},{"journal-title":"masters thesis","article-title":"Verification of the UCLA Security Kernel: Data Defined Specifications","year":"1977","author":"walker","key":"ref12"},{"journal-title":"UCLA Comp Sci Dept tech rep","article-title":"The UCLA Pascal Translation System","year":"1976","author":"walton","key":"ref13"},{"journal-title":"masters thesis","article-title":"A Policy Manager for UCLA Secure Unix","year":"1979","author":"urban","key":"ref14"},{"journal-title":"PhD thesis","article-title":"Protection Mechanisms for Operating Systems and Networks","year":"1979","author":"kline","key":"ref4"},{"journal-title":"PhD thesis","article-title":"Verification of the UCLA Security Kernel: Abstract Model, Mapping, Theorem Generation and Proof","year":"1978","author":"kemmerer","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/360051.360059"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/954666.971189"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/359588.359597"},{"journal-title":"The Multics System An Examination of its Structure","year":"1971","author":"organick","key":"ref7"},{"journal-title":"private communication","year":"1977","author":"gaines","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361070"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/361011.361061"}],"event":{"name":"1979 International Workshop on Managing Requirements Knowledge","start":{"date-parts":[[1979,6,4]]},"location":"New York, NY, USA","end":{"date-parts":[[1979,6,7]]}},"container-title":["1979 International Workshop on Managing Requirements Knowledge (MARK)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8804301\/8817061\/08817171.pdf?arnumber=8817171","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,14]],"date-time":"2022-04-14T15:39:48Z","timestamp":1649950788000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8817171\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/mark.1979.8817171","relation":{},"subject":[],"published":{"date-parts":[[1979,6]]}}}