Marvin Schaefer

Learn More
One aspect of producing secure operating systems involves the confinement of programs. This paper discusses the program confinement problem as addressed by the developers of a retrofitted version of the IBM VM/370 virtual machine monitor. This version of the system (called KVM/370) uses a security-kernel architecture to provide a provably secure multi-level(More)
This paper provides an introspective retrospective on the history and development of the United States Department of Defense Trusted Computer System Evaluation Criteria (TCSEC). Known to many as the Orange Book, the TCSEC contained a distillation of what many researchers considered to be the soundest proven principles and practices for achieving graded(More)
  • M Schäfer
  • 1999
The purpose of this article is to demonstrate the epistemic position of psychiatry between the science of general laws in relation to frequently encountered generality and the science of specific events which is directed towards the particular. In this respect the development of the dichotomy of nomothetic and idiographic methodology from its generally(More)