Second IEEE International Information Assurance Workshop (IWIA'04) Increased Information Flow Needs for High-Assurance Composite Evaluations Charlotte, North Carolina April 08-April 09 ISBN: 0-7695-2117-7
Four Common Criteria Certification agencies from France, Germany, the Netherlands and the UK have developed a concept of composite evaluations in which software evaluators would not receive the full hardware Evaluation Technical Report (ETR), but instead would only receive an abbreviated ETR-lite. While ETR-lite is acceptable at low assurance levels, this paper argues that at high assurance levels, such an abbreviated report violates the basic principles of systems engineering and high assurance evaluation, and demonstrates that serious undetected security vulnerabilities can be the result. The paper recommends that additional information flow between hardware evaluators and software developers and evaluators is crucial for high assurance evaluation to succeed.
Index Terms:
composite evaluation, common criteria, high assurance, smart cards, covert channels
Citation:
Paul A. Karger, Helmut Kurth, "Increased Information Flow Needs for High-Assurance Composite Evaluations," iwia, pp.129, Second IEEE International Information Assurance Workshop (IWIA'04), 2004 Usage of this product signifies your acceptance of the Terms of Use. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||