Compositional Information Flow Verification for Inter Application Communications in Android System.

Xue Rao Ning Xi Jing Lv Pengbin Feng

Published in: ML4CS (2019)

Keyphrases

information flow
functional modules
flow analysis
social networks
communication networks
database
database systems
markov chain
model checking
flow graph
android platform