Improving the Security of Downloadable Java Applications With Static Analysis.
Pierre CrégutCuihtlauac AlvaradoPublished in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
- static analysis
- java card
- dynamic analysis
- source code
- symbolic execution
- information security
- access control
- malicious code
- regular expressions
- intrusion detection
- test generation
- open source
- api calls
- security requirements
- security policies
- software components
- smart card
- building blocks
- abstract interpretation
- artificial intelligence