小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2008年
12期
2360-2364
,共5页
Java卡%字节码校验%类型推导%控制流程树
Java卡%字節碼校驗%類型推導%控製流程樹
Java잡%자절마교험%류형추도%공제류정수
Java卡字节码校验是构成Java卡安全体系结构的重要组成部分.而传统的Java卡字节码校验由于Java智能卡资源的限制,无法在卡内进行.本文通过对控制流程图和类型推导的分析,提出了基于控制流程树的Java卡卡外翻译过程和卡内校验器算法,详细描述了CFT迁移机理并对于基于CFT的Java卡内字节码校验算法和可行性进行了分析与实践.
Java卡字節碼校驗是構成Java卡安全體繫結構的重要組成部分.而傳統的Java卡字節碼校驗由于Java智能卡資源的限製,無法在卡內進行.本文通過對控製流程圖和類型推導的分析,提齣瞭基于控製流程樹的Java卡卡外翻譯過程和卡內校驗器算法,詳細描述瞭CFT遷移機理併對于基于CFT的Java卡內字節碼校驗算法和可行性進行瞭分析與實踐.
Java잡자절마교험시구성Java잡안전체계결구적중요조성부분.이전통적Java잡자절마교험유우Java지능잡자원적한제,무법재잡내진행.본문통과대공제류정도화류형추도적분석,제출료기우공제류정수적Java잡잡외번역과정화잡내교험기산법,상세묘술료CFT천이궤리병대우기우CFT적Java잡내자절마교험산법화가행성진행료분석여실천.
