[发明专利]安全校验的方法、编译装置、.NET卡和系统

说明书

技术领域

本发明涉及信息安全领域，特别涉及一种安全校验的方法、编译装置、可 运行.NET程序的装置和系统。

背景技术

智能卡是一种大小与普通名片相仿的塑料卡片，内含一块直径1cm左右的 硅芯片，具有存储信息和进行复杂运算的功能。它被广泛应用于电话卡、金融 卡、身份识别卡以及移动电话、付费电话等领域。其中，智能卡的芯片由于集 成了微处理器、存储器以及输入输出单元等，使其被认为是世界上最小的电子 计算机。并且，在智能卡上，拥有一整套性能极强的安全保密控制机制，安全 程序固化在只读存储器之中，因而具有无法复制和密码读写等可靠的安全保证。 它较之普通磁卡，还具有信息存储量大、运算能力强、可利用微处理来增加卡 片功能等优点。

.NET卡是一种含有可以运行.NET程序的.NET虚拟机的微处理器智能卡。

其中，.NET是微软提供的新一代技术平台，是全新的基于互联网的跨语言 软件开发平台，顺应了当今软件工业分布式计算、面向组件、企业级应用、软 件服务化和以web为中心等大趋势。.NET并非开发语言，.NET代表一个集合、 一个环境、一个可以作为平台支持下一代Internet的可编程结构。最终目的是让 用户在任何地方、任何时间、以及任何设备都能访问所需的信息、文件和程序。 其支持的开发语言有C#、ASP.NET、VB.NET、DELPHI.NET等，目前微软与 Boardland公司都对.NET有开发工具的支持。

所谓虚拟机，可以把它想象成一台用软件来模拟的机器，在这台机器里有 处理器、内存、寄存器等各种硬件，模拟运行各种指令，在这台机器上运行的 软件对运行环境没有特殊要求，所以虚拟机对它上运行的程序是透明的。例如， x86虚拟机模拟的是x86指令程序的运行环境，c51虚拟机模拟的是c51指令程 序的运行环境。当在.NET卡中运行服务程序时，通常会调用标准类库中的类和 函数。

现有技术中写入.NET卡中的程序多数没有安全校验、或者是简单的CRC (Cyclic Redundancy Check，循环冗余校验)。其中，CRC校验是利用除法及余 数的原理来做错误侦测(Error Detecting)的，实际应用时，发送装置计算出数 据的CRC值并随数据一起发送给接收装置，接收装置对接收到的数据重新计算 CRC值，并与收到的CRC值相比较，如果两个CRC值不同，则说明数据通讯 出现错误；如果两个CRC值相同，则说明数据通讯正常。这种CRC校验是数 据通讯领域中最常用的一种差错校验码，其特征是信息字段和校验字段的长度 可以任意选定。

在实现本发明的过程中，发明人发现现有技术至少包括以下缺点：

由于CRC校验不够安全，.NET卡的安全不能得到完全的保证。

发明内容

为了保证.NET卡的安全，提高.NET卡的安全性，本发明实施例提供了一种 安全校验的方法、编译装置、可运行.NET程序的装置和系统。所述技术方案如 下：

一种安全校验的方法，所述方法包括：

编译.NET程序，并在所述编译过程中为所述.NET程序添加强命名，得 到.NET可执行文件；

获取所述.NET可执行文件中的公钥、公钥标识、包含索引表的原数据和签 名数据，并发送给可运行.NET程序的装置内部，所述公钥标识为对所述公钥 进行哈希运算得到所述公钥的散列值，取所述散列值最后8个字节得到的；

在所述可运行.NET程序的装置内部，利用所述索引表对所述公钥标识进行 验证；

如果所述公钥标识验证成功，则利用所述公钥标识验证所述公钥是否合法；

如果是，验证所述原数据是否合法；当所述原数据合法时，向所述可运 行.NET程序的装置外部程序返回原数据正确信息，结束操作；当所述原数据不 合法时，返回错误信息，并进行错误处理；

如果否，返回错误信息，并进行错误处理；

如果所述公钥标识验证失败，则返回错误信息，并进行错误处理。

所述获取所述.NET可执行文件中的公钥、公钥标识、包含索引表的原数据、 签名数据，具体包括：

从所述.NET可执行文件中获取私钥、公钥和不含索引表的原数据，所述不 含索引表的原数据具体为在所述编译的过程中添加强命名后的.NET程序集；