Secure Information Flow and Pointer Confinement in a Java-like Language.
Anindya BanerjeeDavid A. NaumannPublished in: CSFW (2002)
Keyphrases
- operating system
- information flow
- multi threaded
- programming language
- java programs
- java programming
- flow analysis
- social networks
- information flows
- supply chain
- lightweight
- open source
- java language
- communication networks
- object oriented languages
- data structure
- natural language
- object oriented programming
- source code
- flow graph
- information security
- multi context systems
- reactive systems
- object oriented
- process management
- web services
- data mining
- java bytecode