Further Control on the Grave Interference in Mobile Ambient
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • Comments
    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 asynchonous π-calculus in ROAM show that ROAM still keeps the strong expressiveness of its ancestors.A fundamental tupe system for ROAM with both thread count and mobility attibutes is also proposed and proved.The result in this paper shows that ROAM is a good candidate in the formalization of mobile computation.

    Reference
    Related
    Cited by
Get Citation

管旭东,杨怡玲,尤晋元.移动灰箱演算中强干扰问题的进一步控制.软件学报,2002,13(5):1018-1023

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 09,2000
  • Revised:March 05,2001
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063