Automating Modular Verification of Secure Information Flow.
Lauren PickGrigory FedyukovichAarti GuptaPublished in: FMCAD (2020)
Keyphrases
- information flow
- integrity verification
- cryptographic protocols
- flow analysis
- high security
- information flows
- social networks
- model checking
- information security
- security requirements
- functional modules
- communication networks
- supply chain
- flow graph
- security analysis
- multi context systems
- multi threaded
- databases
- smart card
- information systems
- case study
- reactive systems
- data management
- formal methods