智能卡固件的补丁机制设计

简要分析小批量多样化的智能卡应用中,智能卡芯片固件的作用。以实验室设计的智能卡芯片为例,说明了在固件设计中增加补丁机制的必要性和实用性,并提出一种高效的补丁机制。     

智能卡操作系统高速下载设计

通过对智能卡下载机制的研究,进行改进设计提高智能卡操作系统的下载速度。     

双接口智能卡COS软件的设计与实现

分析了双接口智能卡的特点，给出了双接口智能卡COS软件的设计与实现．对COS软件的传输管理、文件管理、安全管理进行了研究，并给出了具体的实现方法．     

基于嵌入式Linux的无线通信协议的设计和实现

基于C／S模式的嵌入式无线数据处理要统是在嵌入式平台上开发的一种提供服务器/客户端模式的数据处理系统．有多个手持客户终端通过无线方式发送数据到服务器端进行统一处理．服务器端采用windows操作系统,而手持客户端则采用嵌入式Linux操作系统,本文综述了基于这两种操作系统平台的无线通信协议的实现原理和体系结构,并给出了设计和实现方法．     

面向PBOC2.0的智能卡操作系统的设计

针对智能卡的市场需求,摒弃了存储卡的设计思想,采用文件系统与安全访问机制联合设计及模块化的设计方法,在文件结构中加入二进制和记录文件的概念,进行了可靠性存储的设计。在智能卡操作系统的数据存取和文件管理模块上,设计并实现了应用防火墙和一卡多用的功能。该设计增加了智能卡的可靠性、适用性及灵活性。     

一种补丁管理系统的研究与设计

由于系统漏洞引发的安全事故日益严峻,补丁如何高效分发和管理越来越受到人们的关注．本文针对实际需求,对补丁管理系统进行了详细的研究和设计．该系统支持中文补丁升级,补丁能自动下载、检测及安装,P2P补丁分发模式,支持报表统计和流程管理以及基于角色的补丁分发控制等．     

基于椭圆曲线的联合签名及其在电子现金中的应用

提出了一种高效的基于椭圆曲线密码体制的联合签名方案．在给出该方案的核心步骤后,研究在基于智能卡的电子交易环境中,基于椭圆曲线的联合签名协议的具体设计,并分析了该协议的安全性、高效性等优点．最后将提出的方案应用于结合智能卡的电子现金交易协议中．     

AC-Link数字音频VHDL编/解码的FPGA设计

提出一种利用FPGA实现AC—Link数字音频处理的设计方案．AC—Link音频编解码系统以VHDL模块进行设计，经过波形仿真和结果验证后，将程序下载到FPGA中实现．这种设计方法可以缩短设计周期，提高设计的可靠性和效率．     

一种自动生成软件缺陷输入的方法

利用软件补丁信息,结合静态分析、符号执行和约束求解技术,提出了一种测试输入自动生成方法.该方法可以自动产生绕过补丁修补位置的测试输入,给出新的触发软件缺陷的有效可执行路径,从而找到新的软件缺陷.运用这种方法,在GNU Mailutils中,成功地发现了一个软件缺陷.该方法可以运用于实际的软件代码,保证了软件补丁修补的完备性.     

一种Philip Mifare1-S70卡片的区块可用性校验方法及实现

针对信息系统一卡通项目建设过程中Philip Mifare1-S70卡片的残次品问题,通过对卡片故障现象进行深入分析,得出卡片异常情况有读卡失败、写卡失败、写入与读出内容不一致3种常见类型,并结合工程案例提出了一种区块可用性校验方法,给出了具体的区块可用性校验步骤和实现过程。实际应用表明,通过这种事先校验的手段,测试人员能够快速地挑拣出有故障的卡片,杜绝了异常卡片进入流通环节,为企业节约了人力及物力成本。