Sign in

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

Xue RaoNing XiJing LvPengbin 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