%0 Journal Article
%T Further Control on the Grave Interference in Mobile Ambient<br>移动灰箱演算中强干扰问题的进一步控制
%A GUAN Xu-dong
%A YANG Yi-ling
%A YOU Jin-yuan
%A <br>管旭东
%A 杨怡玲
%A 尤晋元
%J 软件学报
%D 2002
%I 
%X 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.
%K process algebra
%K mobile ambient
%K mobile safe ambient
%K robust ambient
%K type<br>进程代数
%K 移动灰箱演算
%K 安全移动灰箱演算
%K 鲁棒灰箱演算
%K 类型
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=58182E875F1A86A1&yid=C3ACC247184A22C1&vid=FC0714F8D2EB605D&iid=94C357A881DFC066&sid=5839F1C61E1C000D&eid=A40901B6135B333E&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=7