携带模型代码MCC方法中的几个关键问题研究

随着互联网的迅速发展，移动代码已经成为Internet的组成部分。移动代码的应用使得人们越来越多地执行非信任来源的代码，因此如何保证非信任应用程序的安全执行成为一个紧迫问题。近年来提出的携带模型代码(Model Carrying Code)，提供了一种较为理想的安全执行非信任代码的解决方案。本项目将在MCC方法的基础上，结合携带证明代码和代码签名方法，针对如下几个关键问题展开深入的研究：(1)程序安全行为模型的规范描述方法；(2)程序安全行为模型的自动获取方法；(3)安全策略的通用规范描述语言；(4)程序安全行为模型的安全性形式验证方法；并且实现面向Java执行环境的支持工具，为移动代码的使用者和生成者提供协作保证移动代码安全的平台。