| 一种宽容的多线程程序内部时间信息流类型系统 |
| |
| 引用本文： | 李沁,袁志祥. 一种宽容的多线程程序内部时间信息流类型系统[J]. 计算机科学, 2014, 41(3): 163-168 |
| |
| 作者姓名： | 李沁 袁志祥 |
| |
| 作者单位： | 安徽工业大学计算机学院 马鞍山243032;安徽工业大学计算机学院 马鞍山243032 |
| |
| 基金项目： | 本文受国家自然科学基金(61170070)资助 |
| |
| 摘 要： | 提出了一种针对多线程程序的内部时间信息流的宽容的类型系统。在隐藏竞争变量集合的基础上定义了非干扰属性的形式化规范;在类型系统中区分了隐藏线程,细化了对内部时间信息流发生场景的分析。相对于已有的基于类型理论的方法,本类型系统可以允许更多实质上安全的代码通过类型检查。另外,类型系统的可靠性是在独立于调度模型的情况下证明的。
|
| 关 键 词： | 非干扰 内部时间信道 类型理论 |
| 收稿时间： | 2013-04-25 |
| 修稿时间： | 2013-08-05 |
Permissive Type System for Internal Timing Information Flow in Multi-thread Programs |
| |
| LI Qin and YUAN Zhi-xiang. Permissive Type System for Internal Timing Information Flow in Multi-thread Programs[J]. Computer Science, 2014, 41(3): 163-168 |
| |
| Authors: | LI Qin and YUAN Zhi-xiang |
| |
| Affiliation: | School of Computer,Anhui University of Technology,Maanshan 243032,China;School of Computer,Anhui University of Technology,Maanshan 243032,China |
| |
| Abstract: | |
| |
| Keywords: | Non-interference Internal timing channel Type theory |
| 本文献已被 CNKI 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
