{'fraction_non_alphanumeric': 0.015568862275449102, 'fraction_numerical': 0.0, 'mean_word_length': 4.648648648648648, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Security Control for TVOS

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.