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)
Previous experimental findings demonstrating that the local administration of opioids produces dose-dependent and naloxone-reversible analgesic effects, which are restricted to the periphery, have now been confirmed in clinical studies. Accordingly, opioid receptors have been identified on peripheral sensory neurons of animals and humans. In addition to(More)
This paper describes the need for pretty good assurance; clearly stated claims about the security properties of systems, accompanied by evidence that explains in clear terms why we should believe that these claims are substantiated. Several different types of threats are identified and their relationships to assurance are explored. The developer's role(More)
  • M Schäfer
  • Medicine, health care, and philosophy
  • 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)
This article is a retrospective of concepts and people who have contributed significantly to the IEEE Symposium on Security and Privacy over the past 30 years. • We identify many individuals who have contributed to SSP as program chairs, general chairs, and heads of the overseeing IEEE technical committee. • We recognize SSP participants who have provided(More)