| 多线程Java程序安全行为模型的静态检查方法 |
| |
| 引用本文： | 金英,李泽鹏,张晶,刘磊. 多线程Java程序安全行为模型的静态检查方法[J]. 计算机学报, 2009, 32(9). DOI: 10.3724/SP.J.1016.2009.01856 |
| |
| 作者姓名： | 金英 李泽鹏 张晶 刘磊 |
| |
| 作者单位： | 吉林大学计算机科学与技术学院,长春,130012 |
| |
| 基金项目： | 国家自然科学基金青年基金 |
| |
| 摘 要： | 多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.
|
| 关 键 词： | 多线程Java程序 安全相关行为模型 静态检查 参数化扩展上下文无关文法 |
Static Checking of Security Related Behavior Model for Multithreaded Java Programs |
| |
| JIN Ying,LI Ze-Peng,ZHANG Jing,LIU Lei. Static Checking of Security Related Behavior Model for Multithreaded Java Programs[J]. Chinese Journal of Computers, 2009, 32(9). DOI: 10.3724/SP.J.1016.2009.01856 |
| |
| Authors: | JIN Ying LI Ze-Peng ZHANG Jing LIU Lei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
