基于Java平台实现安全行为模型验证-计算机工程与科学.PDFVIP

维普资讯 CN43—1258／TP 计算机工程与科学 2007年第29卷第 1O期 ISSN 1007—130X COMPUTERENGINEERING SCIENCE Vo1．29。No．10，2007 文章编号：1007—130X(2007)10-0007—04 基于Java平台实现安全行为模型验证 ImplementationofVerifyingtheSecurity RelatedBehaviorMode1BasedontheJavaPlatform 李泽鹏 ，金 英 ，张 晶 ，郑晓娟 LIZe-peng~。JNI Ying~。ZHANGJin 。ZHENGXiao-juan2 (1．吉林大学计算机科学与技术学院，吉林长春 130012；2．东北师范大学软件学院，吉林 长春 130117) (1．SchoolofComputerScienceandTechnology，JilinUniversity，Changchun130012； 2．SchoolofSoftware。NortheastNormalUniversity，Changchun130117，China) 摘 要：非信任代码的安全执行是移动代码安全的重要问题之一。携带模型代码方法同时从移动代码的生产者和使 用者的角度考虑，为安全执行非信任代码提供了一个系统、全面且有效的解决方案。该方法主要包括安全策略的定义、安 全行为模型的生成，以及其验证和安全策略的强制实施。针对已被广泛使用的Java平台，在深入分析其基于访问控制的 安全体系结构的基础上，通过对Java核心类的修改和扩展 ，提 出了一种能增加新的安全策略 ，以及 实现MCC方法中安全 行为模型验证的方法，为提高Java安全策略的描述能力，以及基于Java平台实现MCC方法，确保更全面的安全机制提供 了可行的途径 。 ． Abstract：Safeexecutionofuntrustedmobilecodeisoneofthekeyproblemsinmobilecodesecurity．Model-carrying code(MeC)providesasystematic，completeandeffectivesolutiontotheproblme from theviewpointsofboththeproducer andtheconsumerofmobilecode．M CCmainlyincludesthespecificationofsecuritypolicies，thegenerationnadverification ofthesecurity-relatedbehaviormodel，nadtheenforcme entofsecuritypolicies．TheJava2platform iswidelyUSedcurrently． Throughtheanalysisofitsaccess-control—basedsecurityarchitecture，anapproach toaddingnew securitypo liciesand the implme entationofsecurity-relatde modelverificationispresentedthroughmodifyingnadextendingtheJava2kernelclasses． TheapproachcanmiproveJava2insupportingsecuritypolicies，nadprovidesafeasiblewaytoguaranteeamorecomplete securitymechanism bymiplme entingMCCbasedontheJava2platforrr1． 关键词：携带模型代码；Java安全机制；安全行为模型；形式验证 Keywords：modelcarryingcode~javasecuritymechanism；securityrelatde beha