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

A Full Automatic Detection Method for Security Policy of JVM Run-Time Library

作　　者：吴蓉晖[1] 汪宁[1] 孙建华[1] 陈浩[1] 陈志文[1] 

机构地区：[1]湖南大学信息科学与工程学院,湖南长沙410082

出　　处：《电子学报》2013年第1期161-165,共5页Acta Electronica Sinica

基　　金：国家自然科学基金(No.60803130;No.61173166);湖南大学"青年教师成长计划"

摘　　要：JVM运行时库通过调用自身库函数的安全管理器类能够实现多种安全策略,其中非常重要的一条安全策略是保证程序在执行敏感操作之前必须进行相应的访问控制权限检查.传统上依赖于人工分析来确保JVM运行时库满足该安全策略,由于Java标准类库涵盖上千个类,上万个方法,且处于快速发展和演化过程中,人工分析费时费力,容易出错.本文提出一种全自动、高效、快速的模型检测方法评估JVM是否遵守这一安全策略,扫描Java标准类库字节码文件,将类的成员方法生成控制流图,通过定义检验模型,结合污点分析计算出方法摘要,自动检测出风险方法.JVM run-time library can implement various security policies by calling the library functions of its own,one of the extremely important security policy requires that sensitive operations must be performed after access control permissions checks.Traditionally it relies manual analysis to ensure that the JVM run-time library satisfy this security policy.Java standard library,covering thousands of classes,tens of thousands of methods,is in rapid development and high-rate evolution.It is time-consuming and error-prone to analyze the security policy artificially.This paper presents a full automatic,efficient and rapid model detection method for evaluating that whether the JVM in compliance with this security policy.Scanning the byte code files of Java standard class library,generating control flow graph of the member methods,our method can work out method summary by taint analysis after defining detecting model and automatically detect the risky methods.

关 键 词：安全策略 控制流图 污点分析 方法摘要 

分 类 号：TN309[电子电信—物理电子学]