Deriving an Information Flow Checker and Certifying Compiler for Java.
Gilles BartheTamara RezkDavid A. NaumannPublished in: IEEE Symposium on Security and Privacy (2006)
Keyphrases
- information flow
- programming language
- java virtual machine
- multi threaded
- java bytecode
- java programs
- social networks
- open source
- general purpose
- flow analysis
- source code
- object oriented
- information security
- communication networks
- software systems
- information flows
- virtual machine
- flow graph
- software engineering
- garbage collection
- program execution
- information propagation
- functional modules
- supply chain
- information technology
- web services
- programs written
- multi context systems