Jif-Based Verification of Information Flow Policies for Android Apps

Lina M. Jimenez, Martín Ochoa, Sandra Julieta Rueda. Jif-Based Verification of Information Flow Policies for Android Apps. IJSSE, 8(1):28-42, 2017. [doi]

Authors

Lina M. Jimenez

This author has not been identified. Look up 'Lina M. Jimenez' in Google

Martín Ochoa

This author has not been identified. Look up 'Martín Ochoa' in Google

Sandra Julieta Rueda

This author has not been identified. Look up 'Sandra Julieta Rueda' in Google