论文部分内容阅读
在移动资源演算(MR)中发现了一种干扰现象,称为直接访问干扰,该现象比移动灰箱演算(MA)中的墙干扰现象更具破坏力,因为在MR中恶意的环境或上下文可以不受限制地访问进程内部的敏感资源.因而该干扰问题当被视为一种程序运行错误.为了控制直接干扰现象,提出了一种MR的变体:安全移动资源演算(SR).它使用了一种类型系统来避免所有的直接访问干扰的发生.基于该研究,MA中的强干扰现象实际上是直接访问干扰的一种特殊形式,自然地,在SR中也得到了相应的控制.最后给出一些用例,说明如何使用新设计的演算系统,以及它的健壮性.
An interference phenomenon, called direct access interference, was found in Mobile Resource Operations (MR), which is more destructive than wall interference in Mobile Gray Carcasses (MA) because of the hostile environment or context in the MR Unrestricted access to the sensitive resources inside the process, so that the interference problem should be regarded as a kind of program running error.In order to control the direct interference phenomenon, a variant of MR is proposed: Secure Mobility Resource Operation (SR) A type system is used to avoid the occurrence of all direct-access interference.Based on this study, the strong interference in MA is actually a special form of direct-access interference and is naturally controlled in SR Finally, some use cases are given to illustrate how to use the newly designed calculus system and its robustness.