Event-based Compositional Reasoning of Information-Flow Security for Concurrent Systems.
Yongwang ZhaoDavid SanánFuyuan ZhangYang LiuPublished in: CoRR (2023)
Keyphrases
- information flow
- concurrent systems
- multi context systems
- information security
- distributed systems
- temporal logic
- flow analysis
- process algebra
- transition systems
- model checking
- social networks
- petri net
- information flows
- communication networks
- formal specification
- functional modules
- supply chain
- reactive systems
- knowledge base
- multi threaded
- knowledge representation
- databases
- emergency management
- flow graph
- information propagation
- e government
- knowledge discovery