移动计算系统信息流安全
文献类型：期刊论文
| 作者 | 黄海军 ; 陈意云 |
| 刊名 | 小型微型计算机系统
 |
| 出版日期 | 2006 |
| 期号 | 8页码:1455-1460 |
| 关键词 | 程序信息流安全,无干扰性,形式语义,类型系统,子定型 |
| 中文摘要 | 程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.与单进程系统相比,移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难.Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究.本文在其工作的基础上,根据移动计算系统的结构特征,通过对函数式语言λsec进行扩充,加入通讯原语,将其扩展成移动计算语言MobileML,并针对一个简单的移动计算模型,给出了描述程序信息流安全的无干扰性定义,设计了相应的信息流类型系统,用以静态检查保证M |
| 收录类别 | wanfang ; cnki |
| 公开日期 | 2011-07-13 |
| 源URL | [http://124.16.136.157/handle/311060/11900]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | 黄海军,陈意云. 移动计算系统信息流安全[J]. 小型微型计算机系统,2006(8):1455-1460. |
| APA | 黄海军,&陈意云.(2006).移动计算系统信息流安全.小型微型计算机系统(8),1455-1460. |
| MLA | 黄海军,et al."移动计算系统信息流安全".小型微型计算机系统 .8(2006):1455-1460. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。