Secure Computer Systems: Mathematical Foundations
MITRE CORP BEDFORD MA
Pagination or Media Count:
Set theory, Mathematical models, Computer information security, Computer privacy, Computer security, Systems theoryThe paper reports the first results of an investigation into solutions to problems of security in computer systems it establishes the basis for rigorous investigation by providing a general descriptive model of a computer system. Borrowing basic concepts and constructs from general systems theory, the authors formed a basic result concerning security in computer systems, using precise notions of security and compromise. The authors also demonstrate how a change in requirements can be reflected in the resulting mathematical model. A lengthy introductory section is included in order to bridge the gap between general systems theory and practical problem solving.
- Computer Hardware
- Computer Systems Management and Standards