类型化移动资源

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