带口令的安全盒子环境演算  

Calculus of Safe Boxed Ambients with Password

作　　者：江华[1] 李祥[1] 

机构地区：[1]贵州大学计算机理论与软件研究所

出　　处：《计算机工程》2007年第9期55-57,共3页Computer Engineering

基　　金：贵州省科学基金资助项目(GGY2004002)

摘　　要：带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,并对电子邮件系统进行了描述和仿真。Calculus of safe boxed ambients with password （SBAP） improves the existing calculus of the mobile ambient. It avoids the interference from open operation in the calculus of the mobile ambient, strengthens the control capability of the ambient boundary, and carries out the reclamation of the ambient. This paper gives the syntactic and semantic definition of SBAP, uses SBAP to rewrite the matching operator of Pi-calculus, and describes and emulates the E-mail system.

关 键 词：移动计算 进程代数 移动环境演算 网络计算 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]