基于Java平台实现安全行为模型验证

摘要

非信任代码的安全执行是移动代码安全的重要问题之一.携带模型代码方法同时从移动代码的生产者和使用者的角度考虑,为安全执行非信任代码提供了一个系统、全面且有效的解决方案.该方法主要包括安全策略的定义、安全行为模型的生成,以及其验证和安全策略的强制实施.针对已被广泛使用的Java平台,在深入分析其基于访问控制的安全体系结构的基础上,通过对Java核心类的修改和扩展,提出了一种能增加新的安全策略,以及实现MCC方法中安全行为模型验证的方法,为提高Java安全策略的描述能力,以及基于Java平台实现MCC方法,确保更全面的安全机制提供了可行的途径.