Verification of Information Flow Properties of Java Programs without Approximations.

Christoph Scheben Peter H. Schmitt

Published in: FoVeOOS (2011)

Keyphrases

information flow
java programs
multi threaded
social networks
information flows
databases
model checking
information security
communication networks
software components
flow graph
java language
case study
data model
supply chain
computer architecture