%0 Journal Article
%T Secure mobile computation model based on type structure<br>基于类型的安全移动计算模型
%A YU Wan-tao
%A HU Guang-rui
%A <br>余万涛
%A 胡光锐
%J 计算机应用
%D 2006
%I 
%X Agent migration and communication are key aspects for the security of mobile computation, but present mobile computation models lack mechanisms to deal with these problems. A particular approach to this problem called language-based security was discussed and a Confined-~r calculus was introduced. A type system was established for enforcing security properties such as confined migration and communication in mobile computation systems. This approach showed that a static typing system could be constructed to deal with the security problems caused by Agent migration and communication. At last, the future research direction was pointed out.
%K Agent<br>移动计算
%K 进程
%K 位置
%K 类型系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=0D77FCEA1485DC91&yid=37904DC365DD7266&vid=96C778EE049EE47D&iid=CA4FD0336C81A37A&sid=AA76E167F386B6B3&eid=4DB514484E0B7E7F&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=8