A. List, A. Log, C. Control, D. Domain-type-enforcement, E. Inter-process-communication et al., 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

D. [. Alves and . Felton, Trustzone : Integrated hardware and software security, 2004.

M. [. Biba and . Ma, Integrity considerations for secure computer systems

]. A. Cha09 and . Chaudhuri, Languagebased security on Android, Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and Analysis for Security, pp.1-7, 2009.

S. [. Ekberg and . Bugiel, 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

]. R. Gol74 and . Goldberg, Survey of virtual machine research, IEEE Computer, vol.7, issue.6, pp.34-45, 1974.

]. M. Hil09, . Hills, O. Native, . Stack, . A. Hru76-]-m et al., Protection in operating systems, Communications of the ACM, vol.19, issue.8, pp.461-471, 1976.

G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock et al., Formal verication of an OS kernel, Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, pp.207-220, 2009.

D. [. Kursawe, . J. Schellekens-[-lb96-]-l, D. E. Lapadula, and . Bell, Flexible µTPMs through Disembedding, status : publi- shed Secure computer systems : A mathematical model, Journal of Computer Security, vol.4, pp.239-263, 1996.

]. B. Mor10 and . Morin, Modèle de sécurité d'Android, MISC, pp.25-29, 2010.

]. Mpwa, . Tcg-mpwg, M. Tcg-mobile-reference-architecture, S. Nauman, X. Khan et al., 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.

B. [. Pearson and . Balache, Trusted computing platforms : TCPA technology in context, PSvD] R. Perez, R. Sailer, and L. van Doorn, vTPM : virtualizing the trusted platform module, 2003.

]. A. Sfk-+-09, Y. Shabtai, U. Fledel, Y. Kanonov, S. Elovici et al., A Stateof-the-Art Review of Security Mechanisms, Arxiv preprint arXiv, pp.912-5101, 2009.

]. A. Sfk-+-10, Y. Shabtai, U. Fledel, Y. Kanonov, S. Elovici et al., Google Android : A comprehensive security assessment, pp.35-44, 2010.

N. [. Schmidt, M. Kuntze, and . Kasper, On the Deployment of Mobile Trusted Modules, 2008 IEEE Wireless Communications and Networking Conference, pp.3169-3174, 2008.
DOI : 10.1109/WCNC.2008.553

P. [. Schellekens, B. Tuyls, and . Preneel, Embedded trusted computing with authenticated non-volatile memory, Trusted Computing-Challenges and Applications, pp.60-74, 2008.