Skip navigation
Skip navigation

Design and Analysis of Mobile Operating System Security Architecture using Formal Methods

Gunadi, Hendra


The Android operating system (OS) is now used in the majority of mobile devices. Hence, Android security is an important issue to handle. In this work, we tackle the problem using two separate approaches: directly modifying Android OS and developed a framework to provide a guarantee of non-interference. Firstly, we present a design and an implementation of a security policy specifi- cation language based on metric linear-time temporal logic...[Show more]

CollectionsOpen Access Theses
Date published: 2017
Type: Thesis (PhD)


File Description SizeFormat Image
Gunadi Thesis 2017.pdf3.36 MBAdobe PDFThumbnail

Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator