Skip navigation
Skip navigation

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

Gunadi, Hendra

Description

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)
URI: http://hdl.handle.net/1885/133821

Download

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:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator