loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Paul A. Karger, IBM Corp., T. J. Watson Research Center, Yorktown Heights, NY
Helmut Kurth, atsec information security GmbH, Munich, Germany
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.