@TechReport{tr92a,
  author = 	 {William Harrison and Karl Levitt and Myla Archer},
  title = 	 {{Towards a Verified Code Basis for a Secure Distributed Operating System}},
  institution =  {University of California at Davis},
  number =       "CSE-92-19",
  year = 	 1992,
  htr =          "yes",
}

{"_id":"gxcL6zTJwtHurSCiB","bibbaseid":"harrison-levitt-archer-towardsaverifiedcodebasisforasecuredistributedoperatingsystem-1992","downloads":0,"creationDate":"2016-07-28T19:31:33.363Z","title":"Towards a Verified Code Basis for a Secure Distributed Operating System","author_short":["Harrison, W.","Levitt, K.","Archer, M."],"year":1992,"bibtype":"techreport","biburl":"https://harrisonwl.github.io/assets/bibliography/harrison.bib","bibdata":{"bibtype":"techreport","type":"techreport","author":[{"firstnames":["William"],"propositions":[],"lastnames":["Harrison"],"suffixes":[]},{"firstnames":["Karl"],"propositions":[],"lastnames":["Levitt"],"suffixes":[]},{"firstnames":["Myla"],"propositions":[],"lastnames":["Archer"],"suffixes":[]}],"title":"Towards a Verified Code Basis for a Secure Distributed Operating System","institution":"University of California at Davis","number":"CSE-92-19","year":"1992","htr":"yes","bibtex":"@TechReport{tr92a,\n author = \t {William Harrison and Karl Levitt and Myla Archer},\n title = \t {{Towards a Verified Code Basis for a Secure Distributed Operating System}},\n institution = {University of California at Davis},\n number = \"CSE-92-19\",\n year = \t 1992,\n htr = \"yes\",\n}\n\n","author_short":["Harrison, W.","Levitt, K.","Archer, M."],"key":"tr92a","id":"tr92a","bibbaseid":"harrison-levitt-archer-towardsaverifiedcodebasisforasecuredistributedoperatingsystem-1992","role":"author","urls":{},"metadata":{"authorlinks":{"harrison, w":"https://harrisonwl.github.io/"}},"html":""},"search_terms":["towards","verified","code","basis","secure","distributed","operating","system","harrison","levitt","archer"],"keywords":[],"authorIDs":["5dc475579b60c2df010000fb","5dee581feaaee4df01000254","5df9dbe338a7afde010000b8","5e03c9676d2066de01000013","5e2b8df4f92538df01000009","5e55f36cc2c8a2df010000f1","5e64fd0d5fc0b7de010000d4","BPp6pLGb3wvE8tPNi","GrcodozaBpTrw2nXH","NmXf49aeDyLF3AL8F","a66s2jJ42S97qQxnX","iCiuqX2A39oLpzRv9","njB2ZmsnMejPsL7oC","uBWQddfiBuSzTqKrJ","xkL56M792TvXx8Hef"],"dataSources":["wAeScLDKnpPTHdYwg","uCveoExKMHQNZnZCp"]}