Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
Quoc Huy DoRichard BubelReiner HähnlePublished in: Comput. Secur. (2017)
Keyphrases
- information systems
- information flow
- automatic detection
- object oriented programs
- information security
- integration testing
- specification languages
- flow analysis
- object oriented
- social networks
- communication networks
- supply chain
- information flows
- automatically detecting
- flow graph
- functional modules
- impact analysis
- chest ct
- black box
- high level
- formal specification
- computer systems
- database systems