Formal Characterization of Illegal Control Flow in Android System.

Mariem Graa Nora Cuppens-Boulahia Frédéric Cuppens Ana R. Cavalli

Published in: SITIS (2013)

Keyphrases

control flow
data flow
reactive systems
process model
software testing
mobile devices
transition systems
modeling language
workflow management systems
formal methods
relational databases
business process models
information systems
formal specification
malware detection
information flow
intelligent agents