分布式计算系统信息流安全
文献类型：期刊论文
| 作者 | 黄海军 ; 陈意云 |
| 刊名 | 小型微型计算机系统
 |
| 出版日期 | 2007 |
| 期号 | 3页码:425-430 |
| 关键词 | 程序信息流安全 形式语义 类型和效果系统 多态 |
| 中文摘要 | 程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.鉴于分布式移动计算系统中进程之间的通讯会引起严重的信息泄密,本文研究了进程之间的通讯对系统信息流安全的影响,通过对高阶函数式编程语言进行扩充,加入通讯原语,得到分布式移动计算语言ConcurML,它能很好地模拟网络连接的动态性和代码移动性.并给出了动态语义和静态语义的形式描述,所设计的两级信息流类型系统使用类型和效果技术,结合了多态这样的类型特征,能有效地保证进程之间的通讯不会导致信息泄密. |
| 公开日期 | 2011-07-01 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/11358]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 黄海军,陈意云. 分布式计算系统信息流安全[J]. 小型微型计算机系统,2007(3):425-430. |
| APA | 黄海军,&陈意云.(2007).分布式计算系统信息流安全.小型微型计算机系统(3),425-430. |
| MLA | 黄海军,et al."分布式计算系统信息流安全".小型微型计算机系统 .3(2007):425-430. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。