分布式计算系统信息流安全

• 作者: 陈意云 黄海军
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 程序信息流安全 形式语义 类型和效果系统 多态
• 年，卷（期）: 2007,（3）
• 所属期刊栏目: 网络与信息安全
• 页码范围: 425-430
• 页数: 6页
• 分类号: TP31
• 字数: 8408字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-1220.2007.03.009

摘要

程序信息流安全是信息安全的一个重要研究方向.基于类型的静态分析可以保证程序信息流安全.鉴于分布式移动计算系统中进程之间的通讯会引起严重的信息泄密,本文研究了进程之间的通讯对系统信息流安全的影响,通过对高阶函数式编程语言进行扩充,加入通讯原语,得到分布式移动计算语言ConcurML,它能很好地模拟网络连接的动态性和代码移动性.并给出了动态语义和静态语义的形式描述,所设计的两级信息流类型系统使用类型和效果技术,结合了多态这样的类型特征,能有效地保证进程之间的通讯不会导致信息泄密.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈意云	中国科技大学计算机系	19	161	7.0	12.0
5	黄海军	中国科技大学计算机系	3	22	3.0	3.0