摘要：给出了数字签名所要完成的事务,分析并给出了网络中信息流转的6种模式,详细设计了多用户信息签名算法、验证算法及不可否认互签的算法协议,并对算法协议中的相关参数和算法运算复杂度进行了分析。解决了电子政务、电子商务及协议订立中的多方数字签名与验证问题。

摘要：该文提出了一个可运行在不安全、不可靠信道上的电子商务协议NRP,该协议可使通信双方处于平等的地位,并有效地防止欺骗行为的发生。通过使用扩展BAN逻辑有效地分析了NRP协议的正确性,对电子商务协议的设计和分析具有重要的指导作用。

摘要：分析了基于网络的联合审批系统的业务流程及功能要求,给出了网上联合审批系统的几种模型和体系结构,探讨了网上联合审批系统的规范标准制订、数据共享设置、信息安全保障等关键技术。给出了联合签名验证审批的算法程序。解决了电子政务和日常业务中多方联合审批的数字签名与认证问题。

摘要：BAN(Burrows,AbadiandNeedham)类逻辑可以辅助设计、分析和验证网络和分布式系统中的安全协议。介绍BAN逻辑的产生、成分和分析步骤 ,指出BAN逻辑的缺陷 ,由此而产生的改进BAN逻辑和现状 ,并对BAN类逻辑作全面的回顾与展望 ,得出 :BAN类逻辑仍然是密码协议分析和设计的主要工具 ,但理想化步骤是BAN类逻辑的致命缺陷的结论。展望了BAN类逻辑研究。

摘要：介绍了用MCS一51单片机控制定量发放物料的电子称重系统,描述了该系统的工作原理及软硬件设计。

摘要：在塑料、橡胶、食品加工等领域挤压机有着广泛的应用.挤压机的功率和生产率是设计、制造和使用挤压机时需要了解的重要参数之一.然而,传统的计算方法较复杂,本文用相似理论推出了挤压机的生产率和功率的计算公式.简单、实用.

摘要：文章提出了电子政务及日常合同、协议业务中数字签名、认证所要解决的各种实际问题,分析了多方数字签名的信息流程,给出了信息流转的六种模式。同时,还设计了无批语多方数字签名和有批语多方数字签名方案,详细设计了基于DSA数字签名标准的有批语多方数字签名的算法程序,解决了电子政务及日常合同、协议业务中数字信息的签名、认证、存档等实际问题。

摘要：近年来,电子商务协议的设计逐渐成为热点。Kailar提出了一种用于分析电子商务协议中可追究性的形 式化分析方法,简称Kailar逻辑。指出这一逻辑的缺陷:在发生重放攻击时不能正确分析各方面的责任,在验证 协议是否满足公平性原则时,具有一定的局限性。针对上述缺陷提出改进措施。

摘要：计算机辅助教学——CAI 起源于50年代,它是指利用计算机系统来模拟教师的教学活动,组织实施和指导整个教学过程,以实现最优化的教学目标。在教学过程中,CAI 以帮助教师讲课、促进学生理解为目标。其施教的方法和步骤是计算机循序渐进地向学生描述新知识,不断地就学习内容向学生提问,并对学生的学习效果进行测试,对学习内容进行评估,同时向学生提供适当的指导。学生也可随时选择自己感兴趣的内容、合适的学习速度,以便迅速有效地获取知识,从而达到提高教学水平和质量的目的。因此,计算机辅助教学在现代教育特别是在远距离教育中将起着重要的作用,这也是其它电化教育技术无法比拟和取代的。用于计算机辅助教学的应用软件称为课件(Courseware),应用这些课件进行辅助教学,它的质量直接关系到 CAI 的效果。

摘要：随着IPv4地址的耗尽以及糟糕的服务质量,IPv6的推广和普及势在必行。IPv6相比IPv4而言有着更丰富的地址和更丰富的安全属性。但是也要意识到,IPv6也面临着巨大的安全隐患和针对IPv6出现的新的安全攻击行为。而且,IPv6的安全事关国家网络的安全和网络话语权。因此,针对IPv6的安全性进行分析显得尤为重要。本文从IPv4的安全性出发,探讨IPv6的安全设计以及IPv6的缺陷不足和改进措施。