from components with different Common Criteria (CC) Evaluation Assurance
Levels (EAL) will be. The research most directly relevant to secure software
development has focused on how components reveal their security
properties and assumptions to each other and how component-based