MagnetDroid

MagnetDroid is a framework designed and implemented by Emanuele Uliana for his PhD thesis. Its main purpose is to create a bridge between Android applications and the law in the context of privacy violations stemming from insufficient security.

MagnetDroid is divided into a multi-agent platform (MAP) and a reasoning module (MRM). MAP translates and aggregates reports from certain Android application analysis tools into a technological final report. MRM, given a technological knowledge base from the final report, and a legal knowledge base from the law, employs Prolog to look for legal violations.

One of the main advantages of MAP is that the translated reports and the final report have a well-defined format (syntax and semantics). Such format is defined and specified by an Android Security Ontology (ASO), a visualisation of which is available here. Click on the tree nodes to collapse on expand them.