Secure Self-certified Code for Java.
Mourad DebbabiJosée DesharnaisM. FouratiE. MenifFrédéric PainchaudNadia TawbiPublished in: FASec (2002)
Keyphrases
- source code
- java programs
- byte code
- java virtual machine
- open source
- java code
- lightweight
- mobile agent system
- program code
- security requirements
- web services
- object oriented
- development environment
- programming language
- code generation
- program execution
- aspect oriented programming
- key management
- code examples
- security analysis
- static analysis
- web applications
- high level