摘要：为实现在线/离线签密和广播签密的双重功能,把在线/离线签密思想和广播签密思想相结合,提出一种基于身份的在线/离线广播签密方案。方案中,离线阶段与待签密的消息无关,在线签密阶段生成广播密文发送给多个接收者。方案的设计运用了哈希函数运算、双线性对运算及异或运算。基于密码学相关困难问题,在随机预言机模型下证明了方案的机密性和不可伪造性。最后,对方案的计算效率进行了分析。

摘要：为实现服务器上存储数据文件密文的查找检索和下载,提出了一种基于身份的公钥可搜索加密方案,方案中服务器和数据接收者的公钥根据其身份信息计算。运用双线性对、点乘计算、哈希函数等密码学内容对方案的整个过程进行了规划、设计与测试,并对方案的正确性进行了证明。从BDH密码学问题出发,在随机预言机模型下,证明了基于身份的公钥可搜索加密方案在具有适应性选择密文攻击下的密文不可区分性的安全性。

摘要：云存储可为用户节省数据管理开销和实现资源共享。由于云服务器不安全,为保证数据的安全性和隐私性,提出一种面向云存储的无证书可搜索加密方案,方案中的部分密钥生成器仅知晓用户的部分私钥。方案的设计采用了双线性对、哈希函数、点乘运算等密码学知识。在随机预言机模型下,证明了所提方案在双线性DH问题下具有选择关键词攻击不区分性的安全性。最后,分析了所提方案的计算代价和通信代价。

摘要：融合在线/离线签密技术和广播签密技术,提出一种适用于移动终端的在线/离线广播签密方案,方案拥有在线/离线签密和广播签密两者的功能。方案的设计采用基于身份的密码体制、哈希函数运算、点乘运算、双线性对运算及异或运算等内容,广播签密者在离线阶段完成双线性对等的大量计算,在在线阶段生成密文广播给接收者。基于离散对数问题和双线性DH问题,在随机先知者模型下证明了方案的安全性。最后,分析了所提方案的计算效率。

摘要：用ROBCAD对机器人焊接纵梁总成系统建模和仿真。对人工焊接生产线重新进行工艺规划和生产线布局,为机器人、焊枪、夹具、输送装置、纵梁等关键装备、部件及生产线布局建立仿真模型,在模型中进行焊点可达性测试和机器人干涉分析。通过观察仿真过程可判断机器人焊接纵梁总成系统运行正常,仿真可提高改造项目的设计效率和设计质量,降低改造项目的实施难度和实施周期。仿真结果表明,机器人焊接的生产节拍比人工焊接降低23.03%,从产品质量、车间物流、生产管理方面论证了机器人焊接相对于人工焊接的优越性。

摘要：提出一种无线网络的匿名身份认证方案,利用双线性对、哈希函数和对称加密算法等内容实现移动用户的匿名身份认证问题,并从性能和安全性两个方面对方案进行了分析.分析表明,该方案安全有效,实现了移动用户的匿名身份认证,也实现了对象间的双向认证,因此该方案能满足无线网络通信环境的需求.

摘要：监控画面是组态软件设计与开发的不可缺少部分。利用面向对象的建模方法和程序设计思想,提出了设计和开发一种组态软件监控画面的思想和方法。该组态软件系统,在实际应用中能快速生成工程画面,支持与实时数据和历史数据等的连接,支持工程画面间切换和快速更新,具有一定的可视化、开放性等特点,可与其它功能模块像实时数据库等共同构成监控组态软件系统。

摘要：SSL VPN是指基于SSL的VPN。从SSL VPN工作原理的角度提出一种SSL VPN网关的设计方法。从数据传输以及客户端访问认证两个方面分析SSL VPN网关的安全性。

摘要：对于口令认证的密钥交换协议的安全性要求,提出一种口令认证的三方密钥交换协议,利用服务器存储客户端口令的验证值、双线性对与基于身份加密算法等内容进行协议的设计,并对协议进行了安全性和效率的两个方面的分析。分析表明,所提出的协议具有口令认证的三方密钥交换协议的安全属性要求,也具有较好的效率。

摘要：通过对SSL VPN存在的安全性问题的研究,分析了SSL VPN的设计原理、运行实现、加解密算法等方面存在的安全性问题,提出了一些可能解决SSL VPN安全性问题的方法和措施。