.png){kind=icon}
返回
A formal framework for real-time information flow analysis
.png){kind=icon}
PRE
AI
DOI：10.1016/j.cose.2009.01.005.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
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). (C) 2009 Elsevier Ltd. All rights reserved.
Keyword:
Real-time information flow
Covert-timing channel free security policies
Specification of security policies
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
C
IF:
5.4
论文数:
4.6K
被引数:
1.4W
机构
引用论文
New techniques for imaging, digitization and analysis of three-dimensional neural morphology on multiple scales.png)
Neuroscience
NeuroscienceIF0
PREAI
分享收藏分享收藏
查看更多内容