A trusted mobile phone reference architecture via secure kernel

Proceedings of the ACM Conference on Computer and Communications Security

Volumn , Issue , 2007, Pages 7-14

  Zhang, Xinwen ^a   Aciiçmez, Onur ^a   Seifert, Jean Pierre ^a  

^a SAMSUNG INFORMATION SYSTEMS AMERICA   (United States)

Author keywords

Isolation; Secure kernel; Security architecture; SELinux; Trusted mobile computing

Indexed keywords

ARCHITECTURE; ENGINES; MOBILE COMPUTING; MOBILE SECURITY; SPECIFICATIONS; TRUSTED COMPUTING; VIRTUAL REALITY; VIRTUALIZATION;

ISOLATION; MOBILE PLATFORM; MOBILE-COMPUTING; REFERENCE ARCHITECTURE; SECURE KERNEL; SECURITY ARCHITECTURE; SELINUX; TRUSTED COMPUTING GROUPS; TRUSTED MOBILE COMPUTING; WORKING GROUPS;

CELLULAR TELEPHONES;

EID: 79959568144     PISSN: 15437221     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1314354.1314359     Document Type: Conference Paper

References (36)

1. M. Alam, M. Hafner, J.-P. Seifert, and X. Zhang. Extending SELinux Policy Model and Enforcement Architecture for Trusted Platforms Paradigms. In Annual SELinux Symposium 2007.
2. Apparmor. http://en.opensuse.org/AppArmor.
3. J. Brizek, M. Khan, J.-P. Seifert, and D.A. Wheeler. A Platform-level Trust-Architecture for Hand-held Devices. In CRASH (2005).
4. CDS Framework IDE. http://oss.tresys.com/projects/cdsframework.
5. T. Eisenbarth, T. Güneysu, C. Paar, A.R. Sadeghi, D. Schellekens, and M. Wolf. Reconfigurable Trusted Computing in Hardware. In ACM STC '07.
6. HP NetTop: A technical overview. http://h20338.www2.hp.com/enterprise/ downloads/HP-NetTop-Whitepaper2.pdf.
7. Limo foundation. https://www.limofoundation.org.
8. NSA Security-Enhanced Linux Example Policy. http://www.nsa.gov/selinux/.
9. Open Mobile Alliance. http://www.openmobilealliance.org.
10. Open trusted computing (opentc) consortium. http://www.opentc.net/.
11. SELinux Reference Policy. http://oss.tresys.com/projects/refpolicy.
12. The Linux Intrusion Defence System (LIDS). http://www.lids.org/.
13. Linux phone market opening up? http://www.linuxdevices.com/news/ NS8591201260.html, 2007.
14. TCG mobile reference architecture specification version 1.0. https://www.trustedcomputinggroup.org/specs/mobilephone/tcg-mobile-reference- architecture-1.0.pdf, June 2007.
15. TCG Mobile Trusted Module Specification Version 1.0. https://www. trustedcomputinggroup.org/specs/mobilephone/tcg-mobile-trusted-module-1.0.pdf, June 2007.
16. K. Adams and O. Agesen. A comparison of software and hardware techniques for x86 virtualization. In Proceedings of the Twelfth International Conference on Architectural Support for Programming Languages and Operating Systems, pages 2-13, San Jose, CA, USA, October 21-25 2006.
17. D. E. Bell and L. J. LaPadula. Secure computer systems: Mathematical foundations and model. Mitre Corp. Report No.M74-244, Bedford, Mass., 1975.
18. K.J. Biba. Integrity considerations for secure computer systems. Technical Report TR-3153, The Mitre Corporation, Bedford, MA, April 1977.
19. W. Boebert and R. Kain. A practical alternative to hierarchical integrity policies. In Proc. of the 8th National Computer Security Conference, 1985.
20. D.D. Clark and D.R. Wilson. A comparison of commercial and military computer security policies. In Proceedings of IEEE Symposium on Security and Privacy, pages 184-194, Oakland, CA, May 1987.
21. Department of Defense National Computer Security Center. Department of Defense Trusted Computer Systems Evaluation Criteria, December 1985. DoD 5200.28-STD.
22. T. Fraser. LOMAC: MAC you can live with. In Proc. of the 2001 Usenix Annual Technical Conference, Jun 2001.
23. T. Garfinkel, B. Pfaff, J. Chow, M. Rosenblum, and D. Boneh. Terra: A virtual machine-based platform for trusted computing. In Proceedings of the 19th ACM Symposium on Operating Systems Principles, pages 193-206, Bolton Landing, New York, USA, October 19-22 2003. (Pubitemid 40929697)
24. T. Jaeger, R. Sailer, and U. Shankar. PRIMA: Policy-reduced integrity measurement architecture. In Proceedings of the 11th ACM Symposium on Access Control Models and Technologies, pages 19-28, June 2006. (Pubitemid 44300738)
25. N. L. Kelem and R. J. Feiertag. A separation model for virtual machine monitors. In IEEE Symposium on Research in Security and Privacy, 1991.
26. P. Loscocco and S. Smalley. Integrating flexible support for security policies into the linux operating system. In Proceedings of USENIX Annual Technical Conference, pages 29 - 42, June 25-30 2001.
27. K. MacMillan, S. Shimko, C. Sellers, F. Mayer, and A. Wilson. Lessons learned developing cross-domain solutions on selinux. In Proc. of SELinux Symposium, 2006.
28. F. Mayer, K. MacMillan, and D. Caplan. SELinux by Example: Using Security Enhanced Linux. Prentice Hall, 2007.
29. OMTP. Application security framework. http://www.omtp.org/docs/OMTP- Application-Security-Framework-v2-0.pdf, 2007.
30. C. J. PeBenito, F. Mayer, and K. MacMillan. Reference policy for security enhanced linux. In Proc. of SELinux Symposium, 2006.
31. R. Sailer, T. Jaeger, E. Valdez, R. Perez, S. Berger, J. L. Griffin, and L. van Doorn. Building a mac-based security architecture for the xen opensource hypervisor. Technical report, IBM Research Report RC23629, 2005.
32. J. M. Rushby. Proof of separability: A verification technique for a class of security kernels. In Computing Laboratory, University fo Newcastle Upon Tyne, May 5 1981.
33. A. Sadeghi and C. Stuble. Taming trusted platforms by operating system design. In Proceedings of the 4th International Workshop for Information Security Applications, LNCS 2908, pages 286-302, Berlin, Germany, August 2003. (Pubitemid 38192018)
34. R. Sailer, X. Zhang, T. Jaeger, and L. van Doorn. Design and implementation of a TCG-based integrity measurement architecture. In USENIX Security Symposium, pages 223-238, 2004.
35. J. H. Saltzer and M. D. Schroeder. The protection of information in computer systems. Proceedings of the IEEE, 63(9):1278-1308, 1975.
36. A. Wilson. SEFramework: A new policy development framework and tool to support security engineering. In Proc. of SELinux Symposium, 2005.