A formal framework for real-time information flow analysis |
| |
Authors: | Joon Jim |
| |
Affiliation: | aCenter for Secure and Dependable Systems, University of Idaho, P.O. Box 441008, Moscow, ID 83844-1008, USA |
| |
Abstract: | We view Multi-Level Secure (MLS) real-time systems as systems in which MLS real-time tasks are scheduled and execute, according to a scheduling algorithm employed by the system. From this perspective, we develop a general trace-based framework that can carry out a covert-timing channel analysis of a real-time system. In addition, we propose a set of covert-timing channel free policies: If a system satisfies one of our proposed security policies, we demonstrated that the system can achieve a certain level of real-time information flow security. Finally, we compare the relative strength of the proposed covert-timing channel free security policies and analyze whether each security policy can be regarded as a property (a set of execution sequences). |
| |
Keywords: | Real-time information flow Covert-timing channel free security policies Specification of security policies |
本文献已被 ScienceDirect 等数据库收录! |
|