Boxed Safe Ambients with Password and Simulation of E-Mail System

摘要：

This page puts forward Boxed Safe Ambients with Password (BSAP), which can solve the side effect from open operation and strengthen the control capability of its own boundary in Mobile Ambients (MA). Compared to MA, BSAP has the following advantages: 1) cancels open operation in MA and adds the communication operation primitive between ambients and sub-ambients; 2) adds , in out operation and adds password to , in out , in out operations; 3) adds the del operation for ambient reclamation. In the end of this page, the authors use BSAP to describe and simulate the E-mail system; it shows that BSAP has a powerful modeling and simulating capability in the area of network computing.

关键词： mobile computation mobile ambient calculus network computation simulation

作者: Hua JIANG Xiang LI

作者单位: Computer Department, Shaoguan University, Shaoguan, P.R. China;Institute of Computer Science, Guizho Institute of Computer Science, Guizhou University, Guiyang, P.R.China

会议类型: 国际会议

会议名称: 第一届国际教育信息技术及应用研讨会(2007 1st International Symposium on Information Technologies and Applications in Education(ISITAE 2007))

会议地点: 昆明

会议语种:英文

在线出版日期: 2007-11-23（万方平台首次上网日期，不代表论文的发表时间）