多线程Java程序安全行为模型的静态检查方法

• 作者: 刘磊 张晶 李泽鹏 金英
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 多线程Java程序 安全相关行为模型 静态检查 参数化扩展上下文无关文法
• 年，卷（期）: 2009,（9）
• 页码范围: 1856-1868
• 页数: 13页
• 分类号: TP311
• 字数: 11894字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2009.01856

摘要

多线程作为支持程序结构化和并行化的重要机制,其应用越来越广泛,多线程应用程序的安全性也成为新的研究热点之一.针对Java多线程程序,文中采用参数化扩展上下文无关文法作为其安全相关行为模型的抽象表示,给出了从多线程Java程序自动生成安全相关行为模型的方法,形式地描述了静态检查该模型是否满足安全策略的实现,并应用到携带模型代码方法的实现框架中.该方法为安全执行非信任多线程Java移动代码提供了有效支持.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张晶	吉林大学计算机科学与技术学院	162	516	10.0	15.0
2	刘磊	吉林大学计算机科学与技术学院	211	1231	18.0	25.0
3	李泽鹏	吉林大学计算机科学与技术学院	2	22	2.0	2.0
4	金英	吉林大学计算机科学与技术学院	28	124	6.0	10.0