Hoare Logic for Disjunctive Information Flow.
Hanne Riis NielsonFlemming NielsonXimeng LiPublished in: Programming Languages with Applications to Biology and Security (2015)
Keyphrases
- information flow
- information flows
- flow analysis
- social networks
- supply chain
- communication networks
- multi threaded
- inference mechanism
- information security
- logic programming
- answer sets
- functional modules
- nonmonotonic logics
- real world
- process management
- smart card
- database management systems
- distributed systems
- knowledge discovery
- information propagation
- multi context systems