| |
1
|
Embedded XEN. Available online at: http://sourceforge.net/projects/embeddedxen/.
|
| |
2
|
Secure Architecture and Implementation of Xen on ARM for Mobile Devices. Presentation slides available online at: http://xensource.com/files/xensummit_4/Secure_Xen_ARM_xen--summit--04_07_Suh.pdf.
|
| |
3
|
T. Alves and D. Felton. TrustZone: Integrated Hardware and Software Security -- Enabling Trusted Computing in Embedded Systems. Available online at: http://www.arm.com/pdfs/TZ_Whitepaper.pdf, July 2004.
|
| |
4
|
A. Arcangeli. seccomp. Import into mainstream Linux kernels: http://kernel.org/hg/linux-2.6/file/cfe426c10480/kernel/seccomp.c, 2005.
|
| |
5
|
ARM. Trustzone api specification, June 2006. PRD29-USGC-000089, v2.0.
|
| |
6
|
ARM Ltd. TrustZone Technology Overview. Introduction available at: http://www.arm.com/products/esd/trustzone_home.html.
|
| |
7
|
ARM Ltd. ARM1176JZF--S Technical Reference Manual, Revision: r0p7. Available online at: http://infocenter.arm.com/help/topic/com.arm.doc.ddi0301g/DDI0301G_arm1176jzfs_r0p7_trm.pdf, 2008.
|
| |
8
|
F. Bellard. Qemu open source processor emulator. Available online at: http://bellard.org/qemu/.
|
| |
9
|
W. Denk et al. Das u-boot -- the universal boot loader. Available online at: http://www.denx.de/wiki/UBoot/WebHome.
|
 |
10
|
|
| |
11
|
S. B. et al. vTPM: Virtualizing the Trusted Platform Module. Available online at: http://www.research.ibm.com/, February 14 2006.
|
| |
12
|
T. C. G. .-M. W. Group. TCG Mobile Reference Architecture Version 1.0 Revision 1. Specification available online at: https://www.trustedcomputinggroup.org/specs/mobilephone/tcg-mobile-reference-architecture-1.0.pdf, 12 June 2007.
|
| |
13
|
T. C. G. .-M. W. Group. TCG Mobile Trusted Module Sepecification Version 1 rev. 1.0. Specification available online at: https://www.trustedcomputinggroup.org/specs/mobilephone/tcg-mobile-trusted-module-1.0.pdf, 12 June 2007.
|
| |
14
|
T. C. G.-T. W. Group. TCG Software Stack (TSS) Specification Version 1.2 Level 1. Specification available online at: https://www.trustedcomputinggroup.org/specs/TSS/TSS_Version_1.2_Level_1_FINAL.pdf, 6 January 2006. Part1: Commands and Structures.
|
| |
15
|
T. C. G.-T. W. Group. TPM Main Part 2 Structures. Specification available at: https://www.trustedcomputinggroup.org/specs/TPM/mainP2Structrev103.zip, 9 July 2007. Specification version 1.2 Level 2 Revision 103.
|
| |
16
|
T. C. G.-T. W. Group. TPM Main Part 3 Commands. Specification available online at: https://www.trustedcomputinggroup.org/specs/TPM/mainP3Commandsrev103.zip, 9 July 2007. Specification version 1.2 Level 2 Revision 103.
|
| |
17
|
M.K. Jan-Erik Ekberg. MTM implementation on the TPM emulator. Available online at: http://hemviken.fi/mtm/index.html.
|
| |
18
|
M. K. Jan-Erik Ekberg. Mobile Trusted Module (MTM) -- an introduction. Available online at: http://research.nokia.com/files/NRCTR2007015.pdf, November 14 2007.
|
| |
19
|
O. K. Labs. OKL4. Available only at: http://www.ok-labs.com/products/okl4.
|
| |
20
|
O. K. Labs. OKL4 microkernel source code, release 1.5.2. Available online at: http://wiki.ok-labs.com/images/2/20/Okl4_release_1.5.2.tar.gz.
|
| |
21
|
A. U. Schmidt, N. Kuntze, and M. Kasper. On the deployment of mobile trusted modules, 2007.
|
| |
22
|
M. Strasser. TPM Emulator. Software package available at: http://tpm--emulator.berlios.de/.
|
| |
23
|
L. Torvalds et al. The linux kernel archives. Available online at: http://www.kernel.org/.
|
| |
24
|
|
| |
25
|
XEN Hypervisor. Available online at: http://xen.org/.
|
 |
26
|
|