Computing Information Flow Using Symbolic Model-Checking.

Rohit Chadha Umang Mathur Stefan Schwoon

Published in: FSTTCS (2014)

Keyphrases

information flow
symbolic model checking
model checking
formal verification
information flows
social networks
partial observability
communication networks
flow graph
information security
symbolic representation
supply chain
conformant planning
model checker
formal specification
decision problems
object oriented