Formal model for inter-component communication and its security in android.
Mohamed A. El-ZawawyParvez FarukiMauro ContiPublished in: Computing (2022)
Keyphrases
- formal model
- security properties
- security patterns
- malware detection
- communication protocols
- security issues
- security requirements
- access control
- resource constrained
- communication protocol
- formal models
- information security
- physical layer
- key management
- communication systems
- information processing systems
- mobile devices
- statistical databases
- security policies
- life cycle
- predicate calculus