Login / Signup

Quantitative Information Flow for Scheduler-Dependent Systems.

Yusuke KawamotoThomas Given-Wilson
Published in: QAPL (2015)
Keyphrases
  • information flow
  • information security
  • reactive systems
  • intelligent systems
  • social networks
  • data processing
  • computer systems
  • information flows
  • data mining
  • model checking
  • functional modules
  • flow analysis