Specifications for Multi-Level Security and a Hook-Up
暂无分享,去创建一个
In this paper, we give a brief description of several formalisms for computer security, and discuss some of the problems in their interpretation and application. We define the property of "hook-up security", which can be shown to imply that a collection of hook-up secure systems can be hooked up to form a secure complex system. We believe this result addresses some of the problems with other definitions of security, and will be valuable in the design of large secure systems from simpler secure components.
[1] John B. Shoven,et al. I , Edinburgh Medical and Surgical Journal.
[2] D. Elliott Bell,et al. Secure Computer System: Unified Exposition and Multics Interpretation , 1976 .
[3] José Meseguer,et al. Unwinding and Inference Control , 1984, 1984 IEEE Symposium on Security and Privacy.
[4] Carl E. Landwehr,et al. A security model for military message systems , 1984, TOCS.