Automation of the construction of models of normal program behavior

DOI10.1134/S0361768812040044zbMath1253.68098MaRDI QIDQ1758718

Xianqiang Yang

Publication date: 16 November 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

normal behaviordetection of malicious code intrusionnetwork programs

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• JPAX

Cites Work

• Unnamed Item
• A model of the behavior of network objects in distributed computer systems
• An overview of the runtime verification tool Java PathExplorer
• Provably correct runtime monitoring
• The essence of command injection attacks in web applications
• A Hybrid Approach for Safe Memory Management in C
• Verification, Model Checking, and Abstract Interpretation
• Programming Languages and Systems

This page was built for publication: Automation of the construction of models of normal program behavior