类型化移动资源

• 作者: 傅城 尤晋元
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 并发 移动计算 进程演算 类型系统 移动计算
• 年，卷（期）: 2005,（5）
• 所属期刊栏目: 计算机网络与信息安全
• 页码范围: 979-990
• 页数: 12页
• 分类号: TP393
• 字数: 4045字
• 语种: 中文

摘要

在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源.因而该干扰问题当被视为一种程序运行错误.为了控制直接干扰现象,提出了一种MR的变体:安全移动资源演算(SR).它使用了一种类型系统来避免所有的直接访问干扰的发生.基于该研究,MA中的强干扰现象实际上是直接访问干扰的一种特殊形式,自然地,在SR中也得到了相应的控制.最后给出一些用例,说明如何使用新设计的演算系统,以及它的健壮性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	傅城	上海交通大学计算机科学与工程系	5	10	2.0	2.0
2	尤晋元	上海交通大学计算机科学与工程系	99	1122	18.0	30.0