针对基于原型的单继承面向对象模型，通过扩展库的形式实现了Lua对契约式开发的支持，包括原型不变式、 函数前后置断言。利用了语言提供的动态元机制在运行期改变某些语法构造的原始语义。最后分析了该实现方法的弱点 和改进思路。-Single inheritance for prototype-based object-oriented model, achieved by extending the database in the form of a Lua development of con

基于PKI加密设备的CSP软件设计与实现Windows环境下，微软以CSP方式向用户提供了加密应用程序接口，本文在分析了微软操作系统加密体系的基础上，详 细说明了基于PKI加密设备的CSP软件的设计方法，并实现了我们已开发的PKI USB Key的CSP软件。-CSP PKI-based encryption device software design and implementation of the Windows environment, Microsoft s CSP provid