Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:computer_security_model
|
| gptkbp:appliesTo |
gptkb:ARM_architecture
gptkb:RISC-V_architecture MIPS architecture |
| gptkbp:developedBy |
gptkb:SRI_International
gptkb:University_of_Cambridge |
| gptkbp:documentedIn |
CHERI technical reports
|
| gptkbp:feature |
fine-grained memory protection
capability-based addressing hardware-enforced capabilities |
| gptkbp:goal |
improve software security
mitigate memory safety vulnerabilities |
| gptkbp:influencedBy |
capability-based security
object-capability model |
| gptkbp:introducedIn |
2010s
|
| gptkbp:openSource |
true
|
| gptkbp:relatedTo |
memory safety
hardware security extensions pointer safety |
| gptkbp:usedIn |
gptkb:CHERI_architecture
|
| gptkbp:bfsParent |
gptkb:The_CHERI_capability_model:_Revisiting_RISC_in_an_age_of_risk_(2014)
gptkb:CHERI-RISC-V |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
CHERI capability model
|