Case Study: Static Security Analysis of the Android Goldfish Kernel.
Tao LiuRalf HuuckPublished in: FM (2015)
Keyphrases
- security analysis
- case study
- smart card
- public key
- security requirements
- high security
- security model
- security properties
- mobile devices
- encryption scheme
- image encryption
- mutual authentication
- authentication protocol
- encryption algorithm
- software development
- privacy protection
- user authentication
- intrusion detection
- software engineering