EAL2 Design Pocket Reference

EAL2 Design Pocket Reference covers the key information that a product vendor must know to effectively write design documentation that is suitable to submit for evidence as part of a Common Criteria evaluation. It provides a quick introduction to the key concepts of defining and describing product architecture in terms of its structure, behavior at its interfaces, and mapping interfaces to security functions to demonstrate correspondence.