首页 | 官方网站   微博 | 高级检索  
     

移动灰箱演算中强干扰问题的进一步控制
引用本文:管旭东,杨怡玲,尤晋元.移动灰箱演算中强干扰问题的进一步控制[J].软件学报,2002,13(5):1018-1023.
作者姓名:管旭东  杨怡玲  尤晋元
作者单位:上海交通大学,计算机科学与工程系,分布计算技术中心,上海,200030
基金项目:上海市科技发展基金资助项目(995115014)
摘    要:为了消除移动灰箱演算中的强干扰问题,Levi等人提出了安全灰箱演算.然而,安全灰箱演算中引入的反动作却带来了新的安全隐患.为了消除上述安全隐患,提出了鲁棒灰箱演算.鲁棒灰箱演算在依靠反动作解决强干扰问题的同时,利用反动作的参数明确了该反动作的使用对象,有效地消除了安全灰箱演算中的不安全因素.对防火墙跨越的描述和对多元异步(-演算的翻译显示鲁棒灰箱演算依然具有较强的类似移动灰箱演算和安全灰箱演算的表达能力.同时还就鲁棒灰箱演算的类型问题作了初步的探讨,给出并证明了一套可以描述进程和能力的移动性和线程数两个属性的类型系统.研究结果初步表明,鲁棒灰箱演算可以成为移动计算形式化描述中的有力工具.

关 键 词:进程代数  移动灰箱演算  安全移动灰箱演算  鲁棒灰箱演算  类型
文章编号:1000-9825/2002/13(05)1018-06
收稿时间:6/9/2000 12:00:00 AM
修稿时间:3/5/2001 12:00:00 AM

Further Control on the Grave Interference in Mobile Ambient
GUAN Xu-dong,YANG Yi-ling and YOU Jin-yuan.Further Control on the Grave Interference in Mobile Ambient[J].Journal of Software,2002,13(5):1018-1023.
Authors:GUAN Xu-dong  YANG Yi-ling and YOU Jin-yuan
Abstract:In order to control the grave interference in mobile ambient (MA), Levi et al. proposed mobile safe ambients (SA). However, the coactions introduced in SA brought new security breaches. In this paper, robust ambients (ROAM) is proposed to eliminate those security breaches. In ROAM, coactions are still utilized to control the grave interference. In addition, the parameter of every coaction is explicitly specified to name the consumer of that coaction. This mechanism effectively eliminates the security breaches in SA. The firewall crossing example and the encoding of polyadic asynchronous p-calculus in ROAM show that ROAM still keeps the strong expressiveness of its ancestors. A fundamental type system for ROAM with both thread count and mobility attributes is also proposed and proved. The result in this paper shows that ROAM is a good candidate in the formalization of mobile computation.
Keywords:process algebra  mobile ambient  mobile safe ambient  robust ambient  type
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号