Monitor modules (both for emulator and Nexus included) for some sample policies (note that trans_10(x,y) is defined as "call(x, y) or (exists_z diamonddot_10 (trans_{10}(x, z)) and call(z, y))" ) :

• exists_{x,y} (trans_{10}(x,y))
  A monitor that blocks any attempt to do transitive call (within 10s)
• exists_x (call(x, Internet) ^ !system(x) ^ !trusted(x))
  A monitor that blocks any untrusted app from connecting to internet
• exists_x (trans_{10}(x, Internet) ^ !system(x) ^ !hasInternetPermission(x))
  A monitor that blocks any unprivileged app (do not have internet permission) from doing transitive call(s) to access internet
• exists_x (trans_{10}(x, Internet) ^ !system(x) ^ !trusted(x))
  A monitor that blocks any untrusted app from doing transitive call(s) to access internet
• exists_x (trans_{10}(x, SMS) ^ !system(x) ^ !trusted(x))
  A monitor that blocks any untrusted app from doing transitive call(s) to send SMS
• exists_x (trans_{10}(x, Internet) ^ !system(x) ^ !trusted(x) ^ diamonddot(call(x, Contact)))
  A monitor that blocks any untrusted app from doing transitive call(s) to access internet if that app ever accessed contact database

Home > LogicDroid