A Formal Framework of A Secure Mobile Agent System Based on Extended Elementary Object System

摘要：

This paper first narrates the characteristic of mobile agent and a new formal model-extended elementary object system, then, based on it, propose a formal framework of a generic secure mobile agent system based on EEOS. The case study shows that this method improves the efficiency and accuracy of the system.

关键词： mobile agent EEOS framework

作者: LIU Beilin WANG Tong

作者单位: Department of Administration China University of Mining and Technology- Beijing Beijing, China;Depar Department of computer Science Beijing Technology and Business University Beijing, China

会议类型: 国际会议

会议名称: 第二届国际计算机新科技与教育学术会议(Proceedings of the Second International Conference on Computer Science & Education ICCSE2007)

会议地点: 武汉

会议语种:英文

页码: 1347-1350

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