Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.

Quoc Huy Do Richard Bubel Reiner Hähnle

Published 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