A Model for Security Vulnerability Pattern

DOI10.1007/11751595_42MaRDI QIDQ3600113zbMATH OpenOpenAlexFDO

Authors

Publication date 10 February 2009

Published in Computational Science and Its Applications - ICCSA 2006 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11751595_42

zbMATH Keywords

Abstract Syntax Tree (AST)Buffer overflowPushdown Automata (PDA)Software securityStatic analysis

Mathematics Subject Classification ID

Theory of software (68N99) Data encryption (aspects in computer science) (68P25) Formal languages and automata (68Q45)

Recommendations

• Pattern-based vulnerability discovery
• Information and Communications Security
• Usage formal models for vulnerability analysis
• Security engineering with patterns. Origins, theoretical model, and new applications

Cited in

(6)

• Static analysis for proactive security
• Rule-based static analysis of network protocol implementations
• Pattern-based vulnerability discovery
• scientific article; zbMATH DE number 1905095 (Why is no real title available?)
• Detection techniques of format-string vulnerabilities in binary files
• Applied Cryptography and Network Security

This page was built for publication: A Model for Security Vulnerability Pattern

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3600113)