一种针对JVM运行时库安全策略的全自动检测方法

• 作者: 吴蓉晖 孙建华 汪宁 陈志文 陈浩
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 安全策略 控制流图 污点分析 方法摘要
• 年，卷（期）: 2013,（1）
• 所属期刊栏目: 科研通信
• 页码范围: 161-165
• 页数: 5页
• 分类号: TN309
• 字数: 5277字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2013.01.028

摘要

JVM运行时库通过调用自身库函数的安全管理器类能够实现多种安全策略,其中非常重要的一条安全策略是保证程序在执行敏感操作之前必须进行相应的访问控制权限检查.传统上依赖于人工分析来确保JVM运行时库满足该安全策略,由于Java标准类库涵盖上千个类,上万个方法,且处于快速发展和演化过程中,人工分析费时费力,容易出错.本文提出一种全自动、高效、快速的模型检测方法评估JVM是否遵守这一安全策略,扫描Java标准类库字节码文件,将类的成员方法生成控制流图,通过定义检验模型,结合污点分析计算出方法摘要,自动检测出风险方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈浩	湖南大学信息科学与工程学院	37	304	10.0	15.0
2	吴蓉晖	湖南大学信息科学与工程学院	16	128	6.0	11.0
3	孙建华	湖南大学信息科学与工程学院	23	115	7.0	9.0
4	汪宁	湖南大学信息科学与工程学院	1	1	1.0	1.0
5	陈志文	湖南大学信息科学与工程学院	1	1	1.0	1.0