| 移动计算系统信息流安全 |
| |
| 引用本文： | 黄海军,陈意云.移动计算系统信息流安全[J].小型微型计算机系统,2006,27(8):1455-1460. |
| |
| 作者姓名： | 黄海军 陈意云 |
| |
| 作者单位： | 1. 中国科技大学计算机系,安徽,合肥,230026
2. 中国科技大学计算机系,安徽,合肥,230026;中国科学院,软件研究所,计算机科学实验室,北京,100080 |
| |
| 摘 要： | 程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难．Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究．本文在其工作的基础上，根据移动计算系统的结构特征，通过对函数式语言λsec进行扩充，加入通讯原语，将其扩展成移动计算语言MobileML，并针对一个简单的移动计算模型，给出了描述程序信息流安全的无干扰性定义，设计了相应的信息流类型系统，用以静态检查保证MobileML语言程序信息流安全．
|
| 关 键 词： | 程序信息流安全 无干扰性 形式语义 类型系统 子定型 |
| 文章编号： | 1000-1220（2006）08-1455-06 |
| 收稿时间： | 05 10 2005 12:00AM |
| 修稿时间： | 2005-05-10 |
Information Flow Security for Mobile Computation System |
| |
| HUANG Hai-jun,Chen Yi-yun.Information Flow Security for Mobile Computation System[J].Mini-micro Systems,2006,27(8):1455-1460. |
| |
| Authors: | HUANG Hai-jun Chen Yi-yun |
| |
| Affiliation: | 1.Department of Computer Science, University of Science and Technology of China, Hefei 230026, China;2.Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China |
| |
| Abstract: | |
| |
| Keywords: | information flow security noninterference formal semantics type system subtyping |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
