Acknowledgement
Supported by : 한국연구재단
References
- ARM Security Technology. Building a Secure System using TrustZone Technology, PRD29-GENC-009492C, ARM Ltd., 2009.
- J. Winter, "Trusted computing building blocks for embedded linux-based arm trustzone platforms," Proc. of the 3rd ACM workshop on Scalable trusted computing, pp. 21-30. ACM, 2008.
- X. Yan-ling, P. Wei, Z. Xin-guo, "Design and implementation of secure embedded systems based on trustzone," Proc. of the IEEE Internaltional Confreence on Embedded Software and Systems (ICESS'08), pp. 136-141, 2008.
- W.H. Hussin, R. Edwards, P. Coulton, "E-pass using drm in symbian v8 os and trustzone : Securing vital data on mobile devices," Proc. of the Internaltional Conference on Mobile Business (ICMB), pp. 14-14, 2006.
- C. Takei, H. Takada, M. Yamamoto, S. Honda, "Integrated software platform for automotive systems," Proc. of the IEEE International SoC Design Conference (ISOCC), pp. 377-379, 2009.
- Integrity secure virtualization, http://www.ghs.com/products/ rtos/integrity_virtualization.html#ARM,May2010.
- D. Sangorrin, S. Honda, H. Takada, "Dual operating system architecture for real-time embedded systems," Proc. of the OSPERT, Jul. 2010.
- D. Sangorrin, S. Honda, H. Takada, "Reliable device sharing mechanisms for dual-os embedded trusted computing," In Trust and Trustworthy Computing, volume 7344 of Lecture Notes in Computer Science, pp. 74-91, Springer Berlin Heidelberg, 2012.
- S. Yoo, C. Hong, C. Yoo, Y. Liu, Y. Zhang, "Mobi- VMM: a Virtual Machine Monitor for Mobile Phones," The Workshop on Virtualization in Mobile Computing Held in conjunction with MobiSys 2008 (MobiVirt 2008), Sep. 2008.
- S. Yoo, C. Yoo, "Real-time Scheduling for Xen-ARM Virtual Machines," IEEE Transactions on Mobile Computing, vol. PrePrints, no. 99, pp. 1-12, Aug. 2013.
- P. Barham, et al., "Xen and the art of virtualization," Proc. of the ACM symposium on Operating systems principles, pp. 164-177, 2003.
- ARM Limited, "AMBA3 TrustZone Protection Controller (BP147) Technical Overview, DTO 0015A," 2004.
- "ARM Generic Interrupt Controller Architecture Specification," ARM IHI 0048A, ARM Ltd., 2008.