| A Theory of Secure Mobile Computation with Confined Movement and Communication |
| |
| 作者姓名： | 余万涛 许光辉 |
| |
| 作者单位： | Dept.of Electronic Eng. Shanghai Jiaotong Univ.，Dept.of Electronic Eng.，Shanghai Jiaotong Univ.，Shanghai 200240，China，Shanghai 200240，China |
| |
| 摘 要： | An extended π calculus was introduced to deal with secure movement and intercommunication between agents. The system extends Nomadic-π with objective migration primitive and confined region which serves as annotation labels of agents and channels. The confined region labels were used to uniquely identify the constraints on the migration and communication of agents, with the labels, the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation. The operational semantics for the calculus was given out, and a type system which enforces security properties called confined migration and confined communication was developed.
|
| 关 键 词： | 模型计算 模式系统 运动模拟 程序设计 |
| 文章编号： | 1007-1172（2007）05-0628-05 |
| 修稿时间： | 2006-01-18 |
A Theory of Secure Mobile Computation with Confined Movement and Communication |
| |
| YU Wan-tao,XU Guang-hui.A Theory of Secure Mobile Computation with Confined Movement and Communication[J].Journal of Shanghai Jiaotong university,2007,12(5):628-632. |
| |
| Authors: | YU Wan-tao XU Guang-hui |
| |
| Institution: | Dept. of Electronic Eng., Shanghai Jiaotong Univ., Shanghai 200240, China |
| |
| Abstract: | An extended πcalculus was introduced to deal with secure movement and intercommunication between agents.The system extends Nomadic-πwith objective migration primitive and confined region which serves as annotation labels of agents and channels.the confined region labels were used to uniquely identify the constraints on the migration and communication of agents,with the labels,the agents could be confined in a secure subsystem the migration and communication of agents,with the labels,the agents could be confined in a secure subsystem and the inter-agent communication could be confined between agents located on trusted sites during computation.The operational semantics for the calculus was given out ,and a type system which enforces security properties called confined migration and confined communication was developed. |
| |
| Keywords: | mobile computation agent process type system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
