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

第 1期 电 子 学 报 V01．41 N0．1 2013年 1月 ACIIA 眦 CIRoNICA SIM CA Jan． 2013 一 种针对JVM运行时库安全策略的全 自动检测方法 吴蓉晖，汪 宁，孙建华，陈 浩，陈志文 (湖南大学信息科学与工程学院，湖南长沙 41oo82) 摘 要：删 运行时库通过调用 自身库函数的安全管理器类能够实现多种安全策略，其中非常重要的一条安全 策略是保证程序在执行敏感操作之前必须进行相应的访问控制权限检查．传统上依赖于人工分析来确保 JvM运行时 库满足该安全策略，由于Java标准类库涵盖上千个类 ，上万个方法，且处于快速发展和演化过程中，人工分析费时费 力，容易出错．本文提出一种全自动、高效、快速的模型检测方法评估 JVM是否遵守这一安全策略，扫描 Java标准类库 字节码文件，将类的成员方法生成控制流图，通过定义检验模型，结合污点分析计算出方法摘要，自动检测出风险方 法． 关键词： 安全策略；控制流图；污点分析；方法摘要 中图分类号： TN309 文献标识码 ： A 文章编号： o372．2112(2013)01．00161．05 电子学报URL：http：／／www．ejom a1．org．cn DOI：10．3969／j．issn．0372-2112．2013．O1．028 AFullAutomaticDetectionMethodforSecurityPolicyof JVM Run-TimeLibrary WURong-hui，WANGNing，SUNJian—hua，CI-IEN Hao，CHENZhiw·en (hodofInformat／onScienceand西 ，／u／riahUniversity，Cha,,S~ ，Hunan410082，Chn／a) Ab6tract： JVM run-timelibraryCallimplementvarioussecuritypoliciesbycallingthelibraryfunctionsofitsown，oneofthe exlremelyimportantsecuritypolicyrequiresthatsensiliveol3~dlJonsmustbep( ln。dafteraccesscontrolpermissionscheeks．Tra- ditionaUyitreliesmanualanalysistoenslJlethattheJVM rim-timelibra~ satisfythissecuritypolicy．Javastandardlibrary，covering thousandsofclass~，tensofthousandsofllO．elhods，isinrapiddevelopmentandhigh-rateevolution．Itistime-consumingandelrol- pronetoanalyzethesecudtypolicyarlificially．Thispaperpresentsafullautomatic，efficientandrapidmodeldetectionmethodfor evaluatingthatwhethertheJVM incornpfiancewiththissecuritypolicy．ScanningthebytecodefilesofJavastandardclasslibrary， generatingcontrolflow graphofthemembermethods，ourmethodelmworkoutmethodsummarybytaintanalysisafterdefiningde