Android-SRV: Scenario-Based Runtime Verification of Android Applications.

Pengcheng Zhang Kun Cheng Jerry Gao

Published in: Int. J. Softw. Eng. Knowl. Eng. (2018)

Keyphrases

model checking
formal verification
mobile devices
cryptographic protocols
distributed systems
data mining
face verification
malware detection
information systems
mobile applications
smart phones
verification method
concurrent systems
false acceptance