-
题名基于Java Card的校园一卡通的应用设计
认领
引用
被引量:1
- 1
-
-
作者
李明江
-
机构
黔南民族师范学院计算机科学系
-
出处
《黔南民族师范学院学报》
2009年第6期24-28,共5页
-
摘要
分析了目前现存校园通卡系统存在的三大问题,阐述采用Java Card技术开发校园通卡系统所具有的优势,讨论了基于Java Card技术的校园通卡系统安全性设计和应用设计。
-
关键词
Java卡
智能卡
校园一卡通
Applet
安全
-
Keywords
Java card
Smart Card
Campus Card
Applet
Security
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Java智能卡的可信计算环境研究
认领
引用
被引量:1
- 2
-
-
作者
池亚平
李兆斌
方勇
-
机构
北京电子科技学院通信工程系
-
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2011年第4期140-141,144,共2页
-
基金
国家自然科学基金资助项目(60951001)
北京市自然科学基金资助项目(4102057)
+1 种基金
中央办公厅信息安全重点实验室基金资助项目(YZDJ0806)
国家科技支撑计划基金资助项目(2009BAH52B06)
-
摘要
操作系统可信是建立可信计算环境的关键环节,但还没有可行的度量操作系统的方案。针对该问题,基于现有计算环境(普通PC平台),提出一种基于Java智能卡的可信计算环境模型及实现方案。该方案以Java智能卡为基础,将可信计算机制扩展到操作系统和应用程序,在不改变现有计算平台结构的情况下构建了可信计算环境。
-
关键词
可信计算环境
Java智能卡
可信平台
-
Keywords
trusted computing enviromnent
Java smart card
trusted platform
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于混合模式的Java卡字节码优化器
认领
引用
被引量:1
- 3
-
-
作者
向文
韩晶
吴俊军
-
机构
华中科技大学信息与系统技术研究所
-
出处
《计算机工程与科学》
2008年第7期155-158,共4页
-
摘要
Java卡是一种基于Java语言的智能卡。因为智能卡的空间和处理器速度的约束,一个应用程序在Java卡上运行时面临的最大问题是存储空间的不足和对程序执行时间的严格限制。因此,对下载到卡中的字节码进行优化是十分必要的。本文提出了一种综合使用扩展指令集和分段压缩算法的Java卡字节码优化器的设计方案,通过对字节码文件的优化,可得到占用空间较少且没有降低执行速率的字节码文件。
-
关键词
智能卡
Java卡
字节码
优化
字节码压缩
-
Keywords
smart card
Java card
bytecode
optimization
bytecode compression
-
分类号
TP311.1
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Java智能卡的可信度量模块设计
认领
引用
被引量:4
- 4
-
-
作者
彭彦
鞠磊
方勇
-
机构
西安电子科技大学
北京电子科技学院
-
出处
《微计算机信息》
2009年第18期40-42,共3页
-
摘要
可信计算平台只执行被信任根担保的程序,可信度量技术是可信计算的核心和信任链传递的关键。但目前的复杂操作系统及应用程序仍无法被有效度量、信任链仍无法真正向上传递。本文提出了一种在不可信计算环境中直接确保应用程序可信的解决方案,构建一个基于Java智能卡虚拟机的、适于建立可信计算机制的计算环境,并设计出适合于Java智能卡环境的可信度量模块从而保证卡内从信任根到应用程序运行及结果的可信性。
-
关键词
可信度量模块
Java智能卡
信任链
虚拟机
-
Keywords
Trusted Measurement Module
Java Smart Card
Trusted Chain
Virtual Machine
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名基于Java卡技术的移动平台数字签名方法研究
认领
引用
- 5
-
-
作者
张攀峰
程小辉
侯研丽
-
机构
桂林工学院电子与计算机系
-
出处
《电子技术应用》
北大核心
2009年第1期150-152,共3页
-
摘要
对基于Java卡(嵌入了Java卡虚拟机的智能卡)技术的移动平台的安全机制及其实现方法作了分析,给出了ARM9平台与智能卡硬件的互联方法和软件通信机制,重点阐述了利用Java技术在嵌入式平台上使用智能卡进行数字证书申请、签名及验证操作的逻辑和实现方法。
-
关键词
Java卡
SATSA
公钥基础设施
移动平台
智能卡
-
Keywords
Java card
SATSA
PKI
mobile platform
smart card
-
分类号
TN918.2
[电子电信—通信与信息系统]
-
-
题名Java智能卡解析优化方法
认领
引用
- 6
-
-
作者
张大伟
丁文锐
-
机构
北京交通大学计算机与信息技术学院
北京航空航天大学无人驾驶飞行器设计研究所
-
出处
《北京航空航天大学学报》
EI
CAS
北大核心
2009年第1期78-81,共4页
-
基金
国家863基金资助项目(2007AA01Z410)
-
摘要
针对复杂的传统Java智能卡指令解析问题,结合Applet的部署特点,提出了指令预解析的概念;给出了转换后的Applet文件(CAP,Converted Applet file)中导入组件、常数池和导出组件的预解析优化存储结构及包注册表结构,使用定长存储结构替代原有的变长存储结构以加快查找过程,引入了导出组件辅助索引表以加快外包类的解析过程;设计了基于优化后组件的静态域、静态方法和类访问字节码指令的快速解析流程,将解析算法的时间复杂度降为常数阶;在Applet下载过程中通过预解析来生成优化后的组件存储结构,在执行过程中依据快速解析流程来完成静态域、静态方法和类对象的快速访问,从而缩短了Applet运行时的解析时间.测试结果表明,在不改变标准Applet下载、运行流程的情况下,该方法有效地减少了卡内存储器的访问次数,缩短了解析算法的执行时间,提高了Applet执行的整体性能.
-
关键词
Java编程语言
智能卡
优化
-
Keywords
Java programming language
smart cards
optimization
-
分类号
TN409
[电子电信—微电子学与固体电子学]
-
-
题名Java卡多应用安全发卡系统的研究
认领
引用
被引量:2
- 7
-
-
作者
杨小宝
-
机构
西安邮电大学通信技术研究所
-
出处
《计算机安全》
2012年第4期42-45,共4页
-
摘要
为了解决当前智能卡在跨行业多应用中遇到的发卡控制问题,基于Java智能卡,提出了一种新的发卡系统模型。该系统模型主要从卡的授权过程和Applet加载流程,研究卡的发放机制和安全性。最后实现结果表明,系统能够满足各行业安全独立的发卡需求,具有较大的实用性。
-
关键词
智能卡
java卡
多应用
applet
-
Keywords
smart card
java, card
multi--application
applet
-
分类号
TN409
[电子电信—微电子学与固体电子学]
-
-
题名基于缓存策略的Java卡字节码校验
认领
引用
被引量:1
- 8
-
-
作者
马鑫龙
吴俊军
王同洋
-
机构
华中科技大学机械科学与工程学院
-
出处
《计算机应用》
北大核心
2007年第11期2851-2853,共3页
-
摘要
作为一种不可靠的可下载Java程序,Java卡的字节码校验是安全的嵌入式系统所不可缺少的一个部分。由于Java卡本身的空间和运算器的限制,传统的字节码校验并不可取。采用非易失性存储器作为主存,RAM中的一部分空间作为缓存器,并且给出一种相应的Cache调度策略算法,尝试实现一种在卡上的Java卡的字节码校验算法,并且证明了该算法具有较好的可移植性和实现性。
-
关键词
智能卡
Java卡
类型推导
安全嵌入式系统
Cache策略
-
Keywords
smart card
Java card
type inference
secure embedded system
cache policy
-
分类号
TP368.1
[自动化与计算机技术—计算机系统结构]
-
-
题名Java智能卡微处理器软件仿真指令的研究与实现
认领
引用
- 9
-
-
作者
李飞卉
张建杰
葛元庆
岳震伍
周润德
-
机构
清华大学微电子学研究所
-
出处
《微电子学》
CAS
北大核心
2002年第5期325-329,共5页
-
摘要
JCP( Java Card Processor)是一种直接支持 Java卡虚拟机运行的 1 6位 RISC微处理器。但 Java卡虚拟机的支持面向对象的字节码指令功能较复杂 ,用硬件直接实现需要消耗大量的资源 ,不适合智能卡等硬件资源有限的系统。JCP提供一种硬件陷阱机制 ,在执行此类指令时 ,切换到相应的陷阱处理程序中 ,用软件仿真它们的功能。文章讨论了 Java卡虚拟机二进制文件特点 ,软件仿真指令的面向对象的功能及其具体实现。通过仿真基于 JCP的 Java卡操作系统和应用程序 ,验证了软件仿真指令实现的正确性。
-
关键词
Java
智能卡
微处理器
软件仿真
-
Keywords
Java
Smart card
Microprocessor
Software emulation
-
分类号
TP332
[自动化与计算机技术—计算机系统结构]
-
-
题名基于可信计算的Java智能卡的设计与实现
认领
引用
被引量:1
- 10
-
-
作者
许天亮
方勇
-
机构
西安电子科技大学
北京电子科技学院
-
出处
《微计算机信息》
2009年第17期45-47,共3页
-
摘要
本文针对Java智能卡的安全问题,提出了一种新的解决方案——将可信计算技术引入到Java智能卡的设计与实现中,以可信计算在安全认证方面的优势来解决智能卡的安全问题。文章首先从硬件方面对该方案的可行性进行了分析,然后从类库、虚拟机和运行时环境三个方面介绍了如何实现Java智能卡,最后并着重介绍了可信机制的构建。
-
关键词
可信计算
Java智能卡
类库
虚拟机
运行时环境
-
Keywords
Trusted Computing
Java Smart Card
Application Programming Interface
Virtual Machine
Runtime Environment
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名Java卡关键技术的研究及实现
认领
引用
- 11
-
-
作者
李彦超
吕丽民
胡新建
-
机构
浙江工业大学信息工程学院
-
出处
《计算机应用》
北大核心
2006年第3期742-745,共4页
-
基金
浙江省重大基础软件产品专项(2004C11052)
浙江省科学技术厅重点科研工业项目(2005C21030)
-
摘要
根据最新Java卡规范,对Java卡的关键技术进行了深入研究和分析,提供了Java卡系统在AT90SC智能卡上的一种具体实施。详细描述了Java卡实施所采用的系统构架和工作流程,深入分析Java卡虚拟机和API等关键技术,并讨论了为提高Java卡虚拟机执行效率所采取的策略。测试结果表明,该Java卡系统能够正确高效地解释及执行Java卡应用程序。
-
关键词
Java卡
智能卡
JCRE
JCVM
applet
APT
-
Keywords
Java card
smart card
JCRE
JCVM
applet
API
-
分类号
TN432
[电子电信—微电子学与固体电子学]
-
-
题名Java卡对象共享安全策略分析与实现
认领
引用
- 12
-
-
作者
胥怡心
张其善
-
机构
北京航空航天大学电子信息工程学院
-
出处
《计算机应用》
北大核心
2009年第6期1615-1616,1621,共2页
-
摘要
使用形式化方法对Java智能卡的应用隔离与对象共享机制进行分析,用信任模型表述卡内多应用间对象共享关系,根据信任可传递的条件推断出仅由应用级安全策略控制共享对象访问的不足,提出以增加卡内全局访问控制机制来防止未经授权的信息流动这一安全策略设计思路,并给出一个简单实现。
-
关键词
Java智能卡
对象共享
信任传递
-
Keywords
Java smart card
object sharing
trust transfer
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名Java智能卡的安全性研究
认领
引用
被引量:1
- 13
-
-
作者
李阿芳
-
机构
中国海洋大学
山东信息职业技术学院
-
出处
《电脑知识与技术》
2009年第8期6204-6205,共2页
-
摘要
Java智能卡是一种能运行Java语言程序的智能卡。现在Java智能卡已普遍使用,其安全性也越来越重要。针对此问题,对Java语言Java智能卡平台的安全性及其安全机制进行了研究,讨论了Java智能卡的安全性。
-
关键词
Java智能卡
安全性
防火墙
-
Keywords
java smart card
security
firewall
-
分类号
TN409
[电子电信—微电子学与固体电子学]
-
-
题名Java卡平台测试策略
认领
引用
- 14
-
-
作者
周斌
-
机构
上海华虹集成电路有限责任公司
-
出处
《中国集成电路》
2013年第7期37-41,共5页
-
摘要
本文基于Java卡测试库平台TCK工具,对Java卡测试的关键技术进行了深入分析和研究,提供了拓展Java卡测试案例的一种具体实现。本文详细描述了Java卡测试平台运行的系统架构及工作流程,进行了深入的分析,并讨论了为提高Java卡测试案例的全面性和灵活性所采取的策略。实践结果表明,该测试案例拓展方法可高效灵活地提高Java卡平台测试的质量。
-
关键词
Java卡
智能卡
测试平台
测试案例
-
Keywords
Java card
smart card
test platform
test suites
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名Java智能卡的安全性
认领
引用
被引量:5
- 15
-
-
作者
王明飞
-
机构
中国矿业大学计算机科学与技术学院
-
出处
《电脑知识与技术》
2011年第8X期6015-6016,共2页
-
摘要
Java智能卡的应用已日益广泛,由于其中涉及到了身份认证、移动通信和电子支付等敏感信息,所以必须为Java智能卡制定完善的安全机制。针对此问题,对Java智能卡的结构和各种安全机制进行了介绍和探讨,分析了Java智能卡的安全性。
-
关键词
Java智能卡
事务处理
防火墙
-
Keywords
Java smart card
transaction
firew
-
分类号
TN409
[电子电信—微电子学与固体电子学]
-
-
题名JCVM异常处理机制
认领
引用
- 16
-
-
作者
张大伟
张其善
-
机构
北京航空航天大学电子工程系
-
出处
《计算机工程》
EI
CAS
北大核心
2003年第14期24-26,共3页
-
摘要
在对Java卡平台异常类层次结构和CAP文件内容深入分析的基础上,结合智能卡运行环境的特点,采用编译后的异常处理表与运行期的Java栈结构相结合的方法,设计并实现了解释执行时Java卡虚拟机中的异常处理机制。实际测试表明系统运行正确。
-
关键词
智能卡
Java卡
Java卡虚拟机
异常处理
-
Keywords
Smart card
Java card
Java card virtual machine(JCVM)
Exception handling
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
使用中文期刊助手 扫描二维码