梅小虎
- 作品数：10 被引量：25H指数：3
- 供职机构：广东工业大学计算机学院更多>>
- 发文基金：广西壮族自治区自然科学基金广州市越秀区科技计划项目更多>>
- 相关领域：自动化与计算机技术电子电信天文地球更多>>
- 基于AKA协议的USIM卡安全研究与实现
- 2010年
- 智能卡芯片存储了用户的敏感数据,提高智能卡的安全性与保密性显得至关重要,关系着运营商与用户的切身利益。通过对3G中认证和密钥协商协议(AKA)的安全性研究,阐述了USIM COS的安全特性,分析了3G的安全体系,对智能卡芯片操作系统的安全模块进行了体系结构设计,实现了AKA鉴权算法,对文件访问控制、报文鉴别和数据加密通信等进行设计。实验结果表明该系统符合国际标准和行业标准,运行稳定,能进行数据出错检测和数据恢复,安全高效。
- 欧阳小星李代平梅小虎马海峰
- 关键词：芯片操作系统
- 芯片操作系统若干问题研究
- 随着3G时代的来临,手机智能卡完成的功能越来越多,已不再局限于简单的用户认证功能,各种增值业务如社保、公交地铁、汽车加油费用结算等贴近人们现实生活的应用也慢慢添加到手机智能卡当中,在功能越来越强大,内容越来越复杂的同时,...
- 梅小虎
- 关键词：芯片操作系统智能卡信息加密
- 文献传递
- 绑定式近场通信3GCOS安全性研究被引量：3
- 2009年
- 分析近场通信技术在应用上的安全问题和3GCOS系统的安全属性,针对卡的安全性问题提出解决方案。以3G的USIM卡为载体,采用近场通信技术把非接触的应用绑定在USIM卡上,在USIM卡中共存非接触应用的系统,并通过不同的接口实现方式与外界接触,实现不同的应用功能,制造出集成非接触应用的USIM卡。
- 刘志武李代平湛德照王挺游剑锋周允强梅小虎郭鸿志
- 关键词：3G通信智能卡卡操作系统近场通信
- 智能卡芯片操作系统的研究与实现被引量：12
- 2010年
- 为了充分利用智能卡芯片有限的资源,开发出高效的、易扩充的芯片操作系统(COS),研究了智能卡COS设计和实现方法。介绍了智能卡COS的体系结构,设计了结构模型,从COS的主守护流程、通信管理、文件系统、安全管理和命令解释5个方面论述了智能卡COS的设计与实现。采用中断调度方式节省了系统开销,采用静态存储管理方式节约了存储空间。通过测试验证了COS符合国际标准和行业标准,该系统能正确应用在终端和相应网络环境中,具有良好的兼容性和稳定性。
- 郭鸿志李代平尹伟周允强梅小虎郭琨郭广义
- 关键词：芯片操作系统文件访问控制
- 3G USIM卡增值业务菜单的研究与实现被引量：1
- 2009年
- 如何高效存储,读取和组织卡中的主动命令信息来构造业务菜单一直是各运营商积极思考的问题。提出一套以C语言实现的BYTE CODE(字节编码)规则对主动命令中的字节码进行管理,并且该研究结果已经成功应用到卡的芯片中,有效解决USIM卡中的应用和服务主动与手机终端进行交互操作的问题。
- 周允强李代平刘志武郭鸿志梅小虎
- 关键词：USIM卡
- 基于CDMA2000的智能卡操作系统的测试技术研究
- 2010年
- 智能卡操作系统是智能卡资源的管理者,它将智能卡芯片内各种硬件与用户所要求的应用系统密切结合起来,是整个卡片的灵魂。随着智能卡的应用越来越广泛,对其操作系统的质量要求也越来越高,因此必须对其进行全面的、高质量、高效率的测试。文中介绍了基于CDMA2000 1xEV-DO网络的手机智能卡操作系统结构,分析了其主要测试内容并给出了该系统的测试方案。为提高其测试效率,采用了自动化测试技术,对自动化测试工具的设计原理做了简单介绍,并最终完成了测试。
- 郭琨李代平郭鸿志梅小虎
- 关键词：智能卡芯片操作系统软件测试
- 基于3G网络的绑定式智能卡系统模型被引量：1
- 2010年
- 在分析3G网络下单晶片智能卡芯片操作系统(COS)的结构及关键技术基础上,提出绑定式多晶片智能卡COS的覆盖模型,对模型各功能模块结构及构造流程进行研究。通过对模型的裁剪,抽象出符合用户需求的绑定式单晶片智能卡COS模型,并对模型进行可行性分析及评估。
- 周允强李代平刘志武黄健梅小虎郭鸿志
- CDMA2000芯片操作系统安全部分的研究与设计被引量：1
- 2009年
- 智能卡芯片存储了用户敏感的私密数据,关系着运营商及用户的切身利益,在较小的芯片容量下提高芯片数据的安全性及正确性是设计中的关键问题。对CDMA2000网络分组数据业务中智能卡芯片操作系统的安全模块进行了体系结构设计,对网络接入认证鉴权算法进行分析并优化实现,对文件访问控制、报文鉴别、数据加密通信等进行设计,引入Flash改写及多个文件擦写的掉电保护机制。实验结果表明,该系统运行稳定,安全高效,能进行数据出错检测和恢复,保证了智能卡数据在存储和网络传输过程中的完整性、有效性和真实性。
- 梅小虎李代平郭广义周允强尹伟郭琨郭鸿志
- 关键词：CDMA2000芯片操作系统文件访问控制掉电保护
- Z语言与软件体系结构风格的形式化被引量：6
- 2009年
- 软件体系结构风格是软件设计人员在长期开发某种类型软件经验的基础上总结出来的适合于构建某一类软件的模型,也称为构建模式。形式化则是一种基于数学的严谨的描述方式和方法。形式化不仅能够清晰地描述软件体系结构风格,并且为软件体系结构的设计提供了一种易于交流和理解的途径,因此形式化是现在软件体系结构研究的主要课题之一。文中通过Z语言描述管道-过滤器这一软件体系结构风格静态性质和动态行为来说明如何运用Z语言形式化的描述软件体系结构风格,从中可以看出Z语言的严谨、清晰、简洁。
- 郭广义李代平梅小虎
- 关键词：软件体系结构管道-过滤器Z语言形式化
- 3G智能卡文件系统的研究与设计被引量：2
- 2010年
- 对基于Flash的3G智能卡文件系统的研究与设计,引用了数据库日志技术和掉电保护机制,保证了智能卡文件系统可靠性,数据的一致性和完整性;按字节静态分配存储空间、合理有效地回收与重用碎片空间,提高了存储空间的利用率;平均磨损和页面映射技术的使用延长了Flash的使用寿命;有效的存储设计提高了数据检索的速度,从而提高了智能卡的整体性能。测试证实了该文件系统设计适合3G EVDO卡。
- 尹伟李代平郭鸿志梅小虎
- 关键词：掉电保护数据一致性
