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
|
https://www.w3.org/2000/01/rdf-schema#label |
Evaluation Assurance Level 6
|
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
|