CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity.
Marco EilersThibault DardinierPeter MüllerPublished in: CoRR (2022)
Keyphrases
- information flow
- concurrent programs
- information security
- flow analysis
- social networks
- information flows
- communication networks
- supply chain
- concurrent programming
- flow graph
- intrusion detection
- high level
- information systems
- web applications
- random walk
- access control
- programming language
- database systems
- decision making