Computer Security from a Programming Language and Static Analysis Perspective.
Xavier LeroyPublished in: ESOP (2003)
Keyphrases
- programming language
- computer security
- static analysis
- dynamic analysis
- source code
- intrusion detection
- object oriented
- information security
- computer systems
- software engineering
- general purpose
- strongly typed
- anomaly detection
- high level
- denotational semantics
- network security
- regular expressions
- programming environment
- specification language
- network intrusion detection
- computer programs
- object oriented programming
- database
- intrusion detection system
- test suite
- functional programming
- programming tool
- data processing
- metadata