Advanced SearchSearch Tips
A Mobile OS Integrity Verification Using Bootloader & Physically Independent Storage Device
facebook(new window)  Pirnt(new window) E-mail(new window) Excel Download
 Title & Authors
A Mobile OS Integrity Verification Using Bootloader & Physically Independent Storage Device
Park, Jae-Kyung; Lee, Sang-Hun; Kwon, Mi-Young; Kim, Hyo-Nam;
  PDF(new window)
In this paper, we study the verification techniques for OS integrity that can be more fatal than applications in case of security issues. The dissemination of smartphones is rapidly progressing and there are many similarities of smartphones and PCs in terms of security risks. Recently, in mobile network environment, there is a trend of increasing damages and now, there are active researches on a system that can comprehensively respond to this. As a way to prevent these risks, integrity checking method on operation system is being researched. As most integrity checking algorithms are classified by verification from the levels before booting the OS and at the time of passing on the control to the OS, in which, there are minor differences in the definitions of integrity checking or its methods. In this paper, we suggests the integrity verification technique of OS using a boot loader and a physically independent storing device in the mobile device.
Android;Integrity;Kernel;Integrity Verification;Boot Loader;
 Cited by
Samsung KNOX.

Vulnerability report: Xen 3.x.

Xen : Security vulnerabilities. vulnerability-list/vendor_id-6276/XEN.html. Last accessed April 4, 2012.

Vulnerability report: Xen3.x. 86 3. Last accessed April 4, 2012.

Survey of Security Threats and Countermeasures on Android Environment. Joonhyouk Jang 2013.12

RAISE. Enye lkm rookit modified for ubuntu 8.04. Last accessed Sep 4, 2012.

Integrity Protection Solutions for Embedded Systems, FOSDEM 2014 Brussels, Belgium, February , 2014

Sangorrin, Daniel, Shinya Honda, Hiroaki Takada. "Dual operating system architecture for real-time embedded systems." In Proceedings of the 6th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT), Brussels, Belgium, pp. 6-15. 2010.

A. M. Azab, P. Ning, Z. Wang, X. Jiang, X. Zhang, and N. C. Skalsky. Hypersentry: enabling stealthy in-context measurement of hypervisor integrity. In Proceedings of the 17th ACM conference on Computer and communications security, CCS '10, pages 38-49, New York, NY, USA, 2010. ACM.

DINABURG, A., ROYAL, P., SHARIF, M., AND LEE, W. Ether: malware analysis via hardware virtualization extensions. In Proceedings of the 15th ACM conference on Computer and communications security (New York, NY, USA, 2008), CCS '08, ACM, pp. 51-62.

D. Clarke, G. E. Suh, B. Gassend, M. van Dijk, and S. Devadas. Checking the integrity of a memory in a snooping-based symmetric multiprocessor (smp) system. Technical report, MIT LCS memo-470,, 2004.