Evaluation Assurance Level 6
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Evaluation_Assurance_Level
|
| gptkbp:abbreviation |
gptkb:EAL6
|
| gptkbp:definedIn |
gptkb:ISO/IEC_15408
|
| gptkbp:describes |
Semiformally Verified Design and Tested
|
| gptkbp:level |
6
|
| gptkbp:lowerAward |
Evaluation Assurance Level 7
|
| gptkbp:part_of |
gptkb:Common_Criteria
|
| gptkbp:rank |
gptkb:Evaluation_Assurance_Level_5
|
| gptkbp:requires |
independent vulnerability analysis
comprehensive testing semiformal design verification |
| gptkbp:usedFor |
high security environments
|
| gptkbp:bfsParent |
gptkb:EAL6
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Evaluation Assurance Level 6
|