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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
