Security Control for TVOS

Abstract:

Smart TV terminals have become an emerging platform for both personal and business application. Security for applications running on smart TV terminals is important .In this paper we present TVOS, a new OS for enabling high assurance applications to run on smart TV terminal securely. Our main contributions are a new OS architecture and our use of formal methods for proving key security invariants about our implementation. As an operating system, TVOS is still relatively young. To analyze its security and tested its performance. Our evaluation shows that the performance of TVOS is comparable to an Android-based system. In one test, we ran the same web browser on TVOS and on an Android-based system and found that TVOS adds overhead on average to the page load latency time for nine popular web sites.

• Periodical: Applied Mechanics and Materials (Volume 643)
• Pages: 136-141
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.643.136
• Online since: September 2014
• Authors: Xin Wang*, De Lin Chen, Yue Sun, Xu Wang, Su Ying Yao
• Keywords: Android, DVB, Smart TV, TVOS

References

[1] Bernhard J. Berger, Michaela Bunke, and Karsten Sohr. An Android Security Case Study with Bauhaus / 2011 18th Working Conference on Reverse Engineering.

DOI: 10.1109/wcre.2011.29

[2] Felix Rohrer, Nebiyu Feleke, Yuting Zhang, Kenneth Nimley , Lou Chitkushev, Tanya Zlateva1. Android Security Analysis and Protection in Finance and Healthcare. /Boston University MET.

[3] Chen Delin , Li Zheng , Wang Ying, Zhao Liangfu, Zhang Dingjing. <<The main technical characteristics and software architecture of NGB TVOS>>, 《Radio and television information》2013-10National Academy of Broadcasting Science.

[4] NGB TVOS1. 0 Version of cooperation and development. The next generation of radio and television (NGB) Intelligent Technology TV operating system v1. 0. 0, the State Press and Publication Administration.

[5] GY/T267-2012. NGB Technical specification of terminal middleware, the State Press and Publication Administration.

[6] Wang Mingmin, Zhu Yunbin. 《To explore the implementation model and techniques of intelligent television terminal security under NGB environment》, 《Radio and TV Technology》2012-10.

[7] Ning Hua, Li Wei, Wang Kun, Lei Mingyu《Research on intelligent terminal security system》, 《Modern telecommunication technology》, 2012- 5.

[8] Haohui Mai, Edgar Pek, Hui Xue, Samuel T. King, P. Madhusudan. Verifying Security Invariants in ExpressOS / University of Illinois at Urbana-Champaign.

DOI: 10.1145/2499368.2451148