论文部分内容阅读
本文通过参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示，针对Java多线程序研究，总结出了从多线Java程序自动生成安全相关行为模型的方法，该方法应用到携带模型代码方法的实现框架中，形象的描述了静态检查该模型是否满足安全策略的实现，同时为安全执行非信任多线程Java移动代码提供了有效支持。本文合理的使用静态分析多线程Java程序的措施，来进行相关安全性的检查，从中来考察出多线程Java程序的相关安全行为。