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