一种使用CFT的Java卡内字节码校验算法.pdfVIP

一种使用CFT的Java卡内字节码校验算法.pdf

  1. 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
小塑微型计算机系统 2008年12月第12期 ofChinese V01.29No.122008 Journal ComputerSystems 一种使用CFT的Java卡内字节码校验算法 吴俊军,马鑫龙 (华中科技大学机械科学与工程学院,湖北武汉430074) E—mail;w_ij@whty,com.en 的限审j,无法在卡内进行.本文通过对控制流程国和类型推导的分析,提出了基于控制流程树的Java卡卡外翻译过程和卡内校 验器算法,详细描述了CFT迁移机理并舛干基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践. 关键词:Java卡,字节码校验。类型推导,控制流程树 中图分类号:TP311 文献标识码lA 文章编号:1000—1220(2008)12—2360—05 On—card Verification CFT Java Bytecode AlgorithmUsing WU Jun-jun,MAXin·long (SchoolMechanical 430074·China) of UniversityofScienceTechnology,Wulmn Scienceb.Enginceriag,Hua=lumg i8 of card architecture.However,thetraditionalcard Abstract=Bytecodeverificationan Java Java byte- importantpart security code be on dueto novel baseontheCFTand in一 verificationisunableto embeddedcard theresourcelimited.A type algorithm toaddressthis inthis ofoffcard andanoncardvefifb [create is transformation analysispresent problempaper.Analgorithm for card withdetailed the and onthis cationJava is on CFTtransformation.Theanalysispractice algo- proposed description rithmandits are as conductedwell. feasibility words:java inference;controlflowtree Key card;bytecodeverification;type 1前言 典里存储的分枝类型要改变,即由它在字典中的前一个类型 和该指令推导出的类型的最小上界LUB(LeastUpper Java智能卡被广泛运用于银行。通信等安全性要求很高 Bound)决定.一旦字典入口改变,对应的指令和他们的后继

文档评论(0)

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档