Class(sec:StackOverflow partial restriction(sec:threatens allValuesFrom(intersectionOf(sec:_Integrity
sec:_Stack)))
restriction(sec:threatens someValuesFrom(intersectionOf(sec:_Integrity
sec:_Stack)))
sec:BufferOverflow
restriction(sec:enabledByVulnerability someValuesFrom(sec:MissingInputValidation))
restriction(sec:ifSuccessfulLeadsToThreat allValuesFrom(unionOf(sec:MaliciousCode
sec:Usurpation)))
restriction(sec:enabledByVulnerability someValuesFrom(sec:UseOfVulnerableProgrammingLanguage)))
DisjointClasses(sec:StackOverflow sec:PingOfDeath
sec:HeapOverflow)