A Type System for Quantified Information-Flow Security in Java-Like Languages.
Gohar ShakooriMehran S. FallahZeinab IranmaneshPublished in: ARES (2016)
Keyphrases
- information flow
- information security
- multi threaded
- flow analysis
- social networks
- information flows
- supply chain
- object oriented languages
- java programs
- communication networks
- functional modules
- programming language
- type checking
- intrusion detection
- source code
- object oriented
- database applications
- distributed environment
- access control
- peer to peer
- reactive systems
- web services