%0 Journal Article
%T 类型化移动资源
%A 傅城？
%A 尤晋元？
%J 软件学报
%P 979-990
%D 2005
%X 在移动资源演算(mr)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(ma)中的墙干扰现象更具破坏力,因为在mr中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源.因而该干扰问题当被视为一种程序运行错误.为了控制直接干扰现象,提出了一种mr的变体:安全移动资源演算(sr).它使用了一种类型系统来避免所有的直接访问干扰的发生.基于该研究,ma中的强干扰现象实际上是直接访问干扰的一种特殊形式,自然地,在sr中也得到了相应的控制.最后给出一些用例,说明如何使用新设计的演算系统,以及它的健壮性.
%K 并发
%K 移动计算
%K 进程演算
%K 类型系统
%K 移动计算
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=20050538&flag=1