Static Analysis for the pi-Calculus with Applications to Security.
Chiara BodeiPierpaolo DeganoFlemming NielsonHanne Riis NielsonPublished in: Inf. Comput. (2001)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- malicious code
- symbolic execution
- information security
- security requirements
- access control
- test generation
- abstract interpretation
- regular expressions
- security policies
- security analysis
- reverse engineering
- test suite
- smart card
- key management
- security model
- learning algorithm