Login / Signup

Verification of Information Flow Properties under Rational Observation.

Béatrice BérardJohn Mullins
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2014)
Keyphrases
  • information flow
  • information flows
  • flow analysis
  • model checking
  • communication networks
  • reactive systems
  • social networks
  • supply chain
  • decision making
  • multi agent
  • petri net
  • information security
  • flow graph