Towards a Verified Code Basis for a Secure Distributed Operating System. Harrison, W., Levitt, K., & Archer, M. Technical Report CSE-92-19, University of California at Davis, 1992.
bibtex   
@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",
}

Downloads: 0