| •owl:Thing |
| •sec:Threat |
| •sec:ActiveAttack |
| •sec:MalformedInput |
| •sec:BufferOverflow |
| •sec:HeapOverflow |
| sec:threatens SOME (sec:_Integrity AND sec:_Heap) |
| sec:BufferOverflow |
| sec:threatens ONLY (sec:_Integrity AND sec:_Heap) |
Class(sec:HeapOverflow partial restriction(sec:threatens someValuesFrom(intersectionOf(sec:_Integrity
sec:_Heap)))
sec:BufferOverflow
restriction(sec:threatens allValuesFrom(intersectionOf(sec:_Integrity
sec:_Heap))))
DisjointClasses(sec:HeapOverflow sec:StackOverflow
sec:PingOfDeath)