*Result*: Jif-Based Verification of Information Flow Policies for Android Apps.
Title:
Jif-Based Verification of Information Flow Policies for Android Apps.
Authors:
Source:
International Journal of Secure Software Engineering; Jan-Mar2017, Vol. 8 Issue 1, p28-42, 15p
Database:
Complementary Index