Confidentiality for Android apps: Specification and verification.
Sarah ErethSteffen LortzMatthias PernerPublished in: it Inf. Technol. (2014)
Keyphrases
- formal verification
- mobile applications
- mobile apps
- android platform
- mobile platforms
- android application
- asynchronous circuits
- formal methods
- mobile devices
- model checking
- protocol specification
- development tools
- formal specification
- specification language
- mobile platform
- smart phones
- malware detection
- information security
- byte code
- neural network
- signature verification
- concurrent systems
- mobile phone
- data centric
- face verification
- m learning
- life cycle
- colored petri nets
- context aware
- e learning