Jif-Based Verification of Information Flow Policies for Android Apps.
Lina M. JimenezMartín OchoaSandra Julieta RuedaPublished in: Int. J. Secur. Softw. Eng. (2017)
Keyphrases
- information flow
- mobile apps
- android platform
- mobile platforms
- mobile applications
- android application
- mobile devices
- flow analysis
- model checking
- communication networks
- smart phones
- information flows
- social networks
- flow graph
- supply chain
- development tools
- information security
- mobile platform
- optimal policy
- m learning
- databases
- multi threaded
- temporal logic
- fully functional
- data management
- formal methods