A Data-Driven Finite State Machine Model for Analyzing Security Vulnerabilities

Keyphrases

• Vulnerability 100%
• Security Vulnerabilities 100%
• Finite State Machine Models 100%
• Finite State Machine 75%
• Source Code 50%
• Heap Overflow 50%
• Activity Level 25%
• Modeling Approach 25%
• Focused Source 25%
• Integer Overflow 25%
• Security Check 25%
• Practical Usefulness 25%
• Code Inspection 25%
• Stack Overflow 25%
• State Machine Model 25%
• Vulnerability Database 25%
• Analysis Operation 25%
• Overflow Vulnerability 25%
• Format String Vulnerability 25%
• Vulnerability Report 25%
• Input Validation Vulnerabilities 25%

Computer Science

• Security Vulnerability 100%
• Finite-State Machine 100%
• State Machine Model 100%
• Data Analysis 16%
• Integer Overflow 16%
• Buffer Overflow 16%
• Code Inspection 16%
• Input Validation 16%
• Reported Vulnerability 16%
• Vulnerability Data 16%