Class: sec:_Correctness

•owl:Thing

•sec:NaryRelation

•sec:HasGoal

•sec:_Correctness

Equivalent Classes (Necessary and Sufficient Conditions)

sec:hasGoal HAS sec:Correctness

Abstract Syntax

Class(sec:_Correctness complete restriction(sec:hasGoal value(sec:Correctness))
                               sec:HasGoal)

Usage

Class Description/Definition (Necessary Conditions)

sec:_Correctness, sec:DNSServerCompromising, sec:DNSSpoofing, sec:Replay, sec:SourceCodeAnalysis, sec:VulnerabilityScanner

Generated with OWLDoc