Secure mobile computation model based on type structure
基于类型的安全移动计算模型

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.