用Authorware制作助教型课件的程序框架

通过分析课堂教学课件的特点，给出了一组用Authorware制作助教型课件的程序框架。它具有简捷、易学和实用的优点，因此它特别适合于教师亲自制作教学课件。     

具有消息认证功能的多重数字签名方案

根据具有消息认证功能的数字签名方案设计了两种新的基于离散对数问题的有序多重数字签名方案和广播多重数字签名方案。新的方案具有简单的初始化过程，在签名时具有随机性，在签字和验证方程中无须求逆，且具有消息认证功能。具有更高的实用性和安全性。     

签名接收方可查的时控代理签名方案

提出了一个代理签名方案，它具有两个特性：原始签名人能事先设定授予给代理签名者的代理权期限和事后查看签名接收者是谁的能力。其中的代理权期限控制方法有一定的通用性，能应用到其它基于离散对数问题的代理签名方案之中。     

基于Debug的C++程序设计教学法

C++程序设计是一门培养大学生计算机应用能力的重要课程,由于其内容抽象且实践动手要求高,教与学的难度较大。在教学中用Debug工具能直观而深刻地揭示C++程序设计的概念、技术与方法,有效加深学生对程序设计本质的理解,提高编程能力。该文通过几个实例说明了使用Debug工具对程序设计课程进行直观教学的方法。     

移动Ad hoc网络中身份可追踪的匿名通信方案

提出了一种适用于移动Ad hoc网的身份可追踪的匿名通信方案。方案采用伪身份的技术,基于双线性映射实现了节点间的匿名通信,同时当出现不诚实节点时,通过部分节点协作,可追踪节点的真实身份。并对该方案进行了正确性、匿名性和安全性分析。     

一种可追踪签名者的环签密方案

提出一种可追踪签名者的环签密方案。在利用环签名实现匿名签密通信的基础上,在环签名中附加一些与环成员相关的信息,必要时可通过环中所有节点的协作追踪签名者的真实身份。环签名中不存在可信中心,使方案更适合在移动自组网中实现可控匿名通信。理论分析证明了该方案的正确性、匿名性和安全性。     

一种子密钥数据库加密算法及其密钥管理方案研究

该文用线性空间的正交基方法设计了一种子密钥数据库加密算法,实现了按记录加密,而按数据项进行解密,是一种安全性好、可靠性高、实用性强的数据库加密算法。     

基于扩展Petri网模型的BPMN形式化

BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。     

无线自组网中基于身份的口令认证方案

利用数字签名将口令与节点身份绑定,防止了恶意节点假冒合法节点的攻击,以及内部节点的抵赖行为的发生。该方案采用前向哈希链的思想进行口令更新,减轻了节点的计算开销和存储开销。利用Diffie-Hellman密钥交换方法产生会话密钥,减小了因长时间存储密钥而遭受攻击的机率。     

一个基于环签名的英式电子拍卖协议

提出了一个基于双线性对的环签名方案,该方案具有如下特点:(1)签名者的身份可通过管理员追踪;(2)管理员的身份追踪权能被分享;(3)当签名中用于追踪签名人部分的内容为空时,它依然是一个具有无条件匿名性的环签名方案;(4)保留了环签名较群签名灵活和有效的优点。最后利用该方案对Omote和Miyaji的英式电子拍卖协议进行改进,克服了原协议中参加同一次拍卖的投标者的多次投标能被跟踪的缺点。