Collaborative Verification of Information Flow for a High-Assurance App Store.
René JustMichael D. ErnstSuzanne MillsteinPublished in: Software Engineering & Management (2015)
Keyphrases
- information flow
- high assurance
- operating system
- software systems
- fault tolerant
- access control
- distributed systems
- communication networks
- information flows
- social networks
- collaborative learning
- information security
- supply chain
- app store
- computer systems
- virtual environment
- databases
- software development
- high level
- game programming