摘要: 带口令的安全盒子环境演算是对原有的移动环境演算的改进,避免了移动环境演算中open操作所带来的干扰,加强了环境对其自身边界的控制能力,实现了对环境的回收。文中给出了SBAP的语法和语义定义,用SBAP对Pi-演算中的匹配算子进行了改写,并对电子邮件系统进行了描述和仿真。
关键词:
移动计算,
进程代数,
移动环境演算,
网络计算
Abstract: 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.
Key words:
Mobile computation,
Process algebra,
Calculus of the mobile ambient,
Network computation
中图分类号:
江 华; ;李 祥. 带口令的安全盒子环境演算[J]. 计算机工程, 2007, 33(09): 55-57.
JIANG Hua; ; LI Xiang. Calculus of Safe Boxed Ambients with Password[J]. Computer Engineering, 2007, 33(09): 55-57.