Class: StackOverflow

•owl:Thing

•Attack

•Threat

•Attack

•ActiveAttack

•MalformedInput

•BufferOverflow

•StackOverflow

Super Classes

threatens ONLY (_Integrity AND _Stack)

threatens SOME (_Integrity AND _Stack)

ifSuccessfulLeadsToThreat ONLY (MaliciousCode OR Usurpation)

enabledByVulnerability SOME UseOfVulnerableProgrammingLanguage

BufferOverflow

enabledByVulnerability SOME MissingInputValidation

Disjoint Classes

PingOfDeath, HeapOverflow

Abstract Syntax

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

DisjointClasses(StackOverflow PingOfDeath
                              HeapOverflow)

Usage

Class Description/Definition (Necessary Conditions)

FormatStringMisuse

Generated with OWLDoc