SAFES: A Static Analysis for Field Security in Java Components.
Aiwu ShiGleb NaumovichPublished in: SEKE (2007)
Keyphrases
- static analysis
- java card
- source code
- dynamic analysis
- open source
- test generation
- malicious code
- abstract interpretation
- symbolic execution
- regular expressions
- smart card
- high level
- software components
- security policies
- test suite
- software systems
- access control
- feature space
- test case generation
- real world
- countermeasures
- intrusion detection
- building blocks
- programming language