Causal System Security.
MITRE CORP BEDFORD MASS
Pagination or Media Count:
Security properties of discrete systems can be analyzed using prime constraints, which are related to prime implicants in switching theory. Prime constraints can be generated from nonprocedural transition specifications such as those commonly used in security kernel design and verification techniques. A security test similar to the-property is derived. Author
- Computer Programming and Software
- Computer Hardware
- Computer Systems Management and Standards