Android Interface Description Language Core Root of Trust Measurement European Multilaterally Secure Computing Base IPC Mandatory Access Control MLS Mobile Local owner Trusted Module MMU Mobile Trusted Module OHA, Trusted Platform Module TrEE . . . . . . . . . . . . . . . Trusted Execution Environnement UML . . . . . . . . . . . . . . . User-Mode Linux URI . . . . . . . . . . . . . . . . Uniform Resource Identier VFS Virtual File System VM Machine Virtuelle (Virtual Machine ,
Trustzone : Integrated hardware and software security, 2004. ,
Integrity considerations for secure computer systems ,
Languagebased security on Android, Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, pp.1-7, 2009. ,
Trust in a small package, Proceedings of the 2009 ACM workshop on Scalable trusted computing, STC '09, pp.9-18, 2009. ,
DOI : 10.1145/1655108.1655111
Survey of virtual machine research, IEEE Computer, vol.7, issue.6, pp.34-45, 1974. ,
Protection in operating systems, Communications of the ACM, vol.19, issue.8, pp.461-471, 1976. ,
Formal verication of an OS kernel, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, pp.207-220, 2009. ,
Flexible µTPMs through Disembedding, status : publi- shed Secure computer systems : A mathematical model, Journal of Computer Security, vol.4, pp.239-263, 1996. ,
Modèle de sécurité d'Android, MISC, pp.25-29, 2010. ,
TCG specication Version 1. gies, Beyond Kernel-Level Integrity Measurement : Enabling Remote Attestation for the Android Platform, Trust and Trustworthy Computing, pp.155-164, 2008. ,
Trusted computing platforms : TCPA technology in context, PSvD] R. Perez, R. Sailer, and L. van Doorn, vTPM : virtualizing the trusted platform module, 2003. ,
A Stateof-the-Art Review of Security Mechanisms, Arxiv preprint arXiv, pp.912-5101, 2009. ,
Google Android : A comprehensive security assessment, pp.35-44, 2010. ,
On the Deployment of Mobile Trusted Modules, 2008 IEEE Wireless Communications and Networking Conference, pp.3169-3174, 2008. ,
DOI : 10.1109/WCNC.2008.553
Embedded trusted computing with authenticated non-volatile memory, Trusted Computing-Challenges and Applications, pp.60-74, 2008. ,