LogicDroid

LogicDroid is a system centric monitor installed as a kernel module. The policy installed on each module is generated by the monitor generator using the tool provided. There is a README file containing instruction attached on Monitor Generator and emulator compressed file on how to use them.

This project is partly supported by the Australian Research Council Discovery Project DP110103173.