| Richard Kemmerer. Shared Resource Matrics Methodolgy: A Practical Approach to Identifying Covert Channels. ACM Transactions on Computer Systems, 3(1):256--277, August 1983. |
....to security. Functional interface testing, internal engineering tests of selected subsystems, system generation and recovery tests, as well as unit and module testing are all part of the development process for a secure system [26] Hardware may be examined for flaws [41] covert channels analyzed [24, 49], and systematic penetration analyses based on the Flaw Hypothesis Methodology [47] conducted. Analyses are conducted and prototype systems are built and examined for security flaws, such as vulnerability to real attacks. Performance issues may also be examined by balancing expected decreases in ....
Richard Kemmerer. Shared Resource Matrics Methodolgy: A Practical Approach to Identifying Covert Channels. ACM Transactions on Computer Systems, 3(1):256--277, August 1983.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC