A Logical System for Modular Information Flow Verification.

Adi Prabawa Mahmudul Faisal Al Ameen Benedict Lee Wei-Ngan Chin

Published in: VMCAI (2018)

Keyphrases

information flow
social networks
flow analysis
information flows
communication networks
supply chain
information security
database
model checking
decision making
multi threaded
flow graph
database systems
reactive systems