GraphSPD: Graph-Based Security Patch Detection with Enriched Code Semantics.
Shu WangXinda WangKun SunSushil JajodiaHaining WangQi LiPublished in: SP (2023)
Keyphrases
- malware detection
- false alarms
- detection method
- automatic detection
- object detection
- formal semantics
- detection accuracy
- graph model
- information security
- windows xp
- information systems
- anti virus
- image patches
- false positives
- semantic information
- detection algorithm
- logic programming
- source code
- anomaly detection
- security policies
- security requirements
- static analysis
- natural images
- key management
- computer security
- java card
- open source
- relational databases