Statements (16)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:Evaluation_Assurance_Level
|
gptkbp:describes |
Semi-formally designed and tested assurance level in Common Criteria
|
https://www.w3.org/2000/01/rdf-schema#label |
EAL 5
|
gptkbp:level |
5
|
gptkbp:lowerAward |
EAL 6
|
gptkbp:partOf |
gptkb:Common_Criteria
|
gptkbp:rank |
EAL 4
|
gptkbp:requires |
vulnerability analysis
semi-formal design documentation semi-formal testing |
gptkbp:usedBy |
gptkb:government_agency
defense contractors critical infrastructure providers |
gptkbp:usedIn |
IT security evaluation
|
gptkbp:bfsParent |
gptkb:Common_Criteria_EAL_4+
|
gptkbp:bfsLayer |
8
|