| 《计算机学报》文章摘要 全文下载 | |
| 文章题目 | 多线程Java程序安全行为模型的静态检查方法 |
| 作者 | 金英 李泽鹏 张晶 刘磊 |
| 作者单位 | (吉林大学计算机科学与技术学院 长春 130012) |
| 发表年份 | 2009 |
| 发表月份 | 9期(1856—1868) |
| 文章摘要 | 摘要 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持. 关键词 多线程Java程序;安全相关行为模型;静态检查;参数化扩展上下文无关文法 中图法分类号：TP311 DOI号：10.3724/SP.J.1016.2009.01856 |