Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Evaluation_Assurance_Level
|
| gptkbp:describes |
Formally Verified Design and Tested
|
| gptkbp:highestLevelOf |
gptkb:Common_Criteria_Evaluation_Assurance_Levels
|
| https://www.w3.org/2000/01/rdf-schema#label |
EAL7
|
| gptkbp:introducedIn |
gptkb:ISO/IEC_15408
|
| gptkbp:level |
7
|
| gptkbp:partOf |
gptkb:Common_Criteria
|
| gptkbp:requires |
Comprehensive testing
Formal model of security policy Formal specification and verification of design |
| gptkbp:usedIn |
IT product security evaluation
|
| gptkbp:bfsParent |
gptkb:Common_Criteria_EAL4+
gptkb:Common_Criteria |
| gptkbp:bfsLayer |
7
|