论文信息 - A Framework for Evaluating Computer Architectures to Support Systems with Security Requirements, with Applications.

A Framework for Evaluating Computer Architectures to Support Systems with Security Requirements, with Applications.

Abstract : This report develops a set of criteria for evaluating computer architectures that are to support systems with security requirements. Central to these criteria is the concept of a domain, here interpreted as a set of information and authorizations for the manipulation of that information in a computer system. Architectural requirements are grouped in three categories: logical structure, the processing of logical structures, and physical structure. Appendixes describe the Navy's AN/UYK-43 and AN/UYK-44, DEC VAX 11/780m IBM 370-XA, Intel 80286, and Honeywell SCOMP architectures within this framework. These descriptions are intended to inform readers about the characteristics of these particular architectures and to provide readers with examples so that they many evaluate other systems relevant to their particular needs. Keywords: Digital computer security requirements; Protection' Instruction set architecture; Hardware evaluation; Security requirements.

Paul Anderson | John M. Carroll | Brian Tretick | Carl E. Landwehr

[1] Carl E. Landwehr,et al. On Access Checking in Capability-Based Systems , 1987, IEEE Trans. Software Eng..

[2] Carl E. Landwehr. The Best Available Technologies for Computer Security , 1983, Computer.

[3] Dorothy E. Denning,et al. Cryptography and Data Security , 1982 .

[4] Carl E. Landwehr,et al. A security model for military message systems , 1984, TOCS.

[5] John D. Tangney. Minicomputer Architectures for Effective Security Kernel Implementations , 1978 .

[6] A. L. Wilkinson,et al. A penetration analysis of a Burroughs Large System , 1981, OPSR.

[7] Elliott I. Organick,et al. The multics system: an examination of its structure , 1972 .

[8] L. Smith. Architectures for Secure Computing Systems , 1975 .

[9] John M. Carroll,et al. Hardware Requirements for Secure Computer Systems: A Framework , 1984, 1984 IEEE Symposium on Security and Privacy.