Runtime Verification and Enforcement for Android Applications with RV-Droid.

Yliès Falcone Sebastian Currea Mohamad Jaber

Published in: RV (2012)

Keyphrases

semi automatic
model checking
formal verification
access control
statistical shape model
distributed systems
signature verification
machine learning
verification method
face verification
formal methods
java card
person identification
concurrent systems