An Information Flow Security Logic for Permission-Based Declassification Strategy.
Zhenheng DongYongxin ZhaoQiang WangPublished in: SEKE (2022)
Keyphrases
- information flow
- information security
- access control
- security policies
- social networks
- information flows
- flow analysis
- supply chain
- flow graph
- functional modules
- third party
- information systems
- multi context systems
- multi threaded
- role based access control
- modal logic
- network security
- smart card
- information propagation
- shortest path
- database management systems