Login / Signup
Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics.
Shuo Chen
Karthik Pattabiraman
Zbigniew Kalbarczyk
Ravishankar K. Iyer
Published in:
SEC (2004)
Keyphrases
</>
security vulnerabilities
intrusion detection
security properties
model theoretic
formal model
data structure
knowledge base
knowledge representation
dos attacks
penetration testing
knowledge discovery
logic programming
formal methods
database
data mining