Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Evaluation_Assurance_Level
|
| gptkbp:abbreviation |
Evaluation Assurance Level 5 augmented
|
| gptkbp:appliesTo |
smart cards
secure microcontrollers high-assurance security products |
| gptkbp:augmentedWith |
additional security requirements
|
| https://www.w3.org/2000/01/rdf-schema#label |
Common Criteria EAL5+
|
| gptkbp:level |
5+
|
| gptkbp:lowerAward |
gptkb:Common_Criteria_EAL6+
|
| gptkbp:partOf |
gptkb:Common_Criteria_for_Information_Technology_Security_Evaluation
|
| gptkbp:publishedBy |
gptkb:ISO/IEC_15408
|
| gptkbp:rank |
gptkb:Common_Criteria_EAL4+
|
| gptkbp:recognizedBy |
gptkb:Common_Criteria_Recognition_Arrangement_(CCRA)
|
| gptkbp:requires |
vulnerability analysis
semi-formal design and testing semi-formal specification |
| gptkbp:usedFor |
IT product security evaluation
|
| gptkbp:bfsParent |
gptkb:MIFARE_DESFire_EV2
gptkb:MIFARE_DESFire_EV3 |
| gptkbp:bfsLayer |
7
|