"Runtime Verification Meets Android Security."

Andreas Bauer, Jan-Christoph Küster, Gil Vegliach (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics