摘要：针对移动环境中网络及计算条件受限的情况,在考虑有效性和支付效率的基础上,设计了一个适应于移动环境的公平移动支付协议。该协议由认证、支付、恢复、结算四个子协议构成。在认证协议中通过基于Hash函数的动态ID机制满足了双向认证、有限的匿名性和不可追踪性,并获取不可伪造性的、可重用的支付证书。在支付过程中基于变色龙Hash函数和双Hash链,实现了交易的匿名性、可追究性和公平性。最后利用Kailar逻辑对协议的可追究性和公平性进行形式化分析,结果表明:协议在保持较高执行效率的同时,能满足可追究性和公平性,适用于在移动环境以及类似的通信、计算条件受限的环境中使用。

摘要：针对当前日益突出的电力系统网络安全问题,尤其是较容易接近的孤岛式微电网,在基于公钥密码系统的双方密钥协商协议基础上,设计了孤岛式微电网密钥协商协议。在该微电网中,考虑到监测终端的覆盖范围广、深的要求,采用NB-IOT技术进行通信。然后对该密钥协商协议进行了安全性分析、关键代码的实现与仿真。在大量的实验数据分析下得出密钥协商三个阶段分别只需要40 ms、23 ms和4 ms的计算时间,证明了该协议可以高效快速地实现双方的身份认证与密钥的协商,防止数据篡改、重放、伪造等攻击。

摘要：为了解决现有的智能家居远程代理控制中的安全问题,设计了一个可证安全的智能家居远程代理控制端控制协议,包括身份认证、密钥协商和数字签名。远程代理控制模型分3个阶段,细分5个进程,主要涉及用户与远程控制端、远程控制端与家庭智能网关和家庭智能网关与家庭设备之间交互过程中的安全协议。通过对模型中的方案进行安全性分析,表明了其在随机预言机模型下是安全的,同时在效率分析上具有一定的优势。

摘要：这里介绍了开发产品设计手册电子查询系统的方法,叙述了螺纹实体建模原理及相关的程序设计技术。

摘要：提出了一个无证书的部分盲签名方案,并给出了其正式安全模型,解决了余丹等人提出的部分盲签名方案公共信息被篡改的问题。对新方案的正确性、部分盲性给予了分析,并在随机预言机模型下证明方案的安全性。新方案中密钥生成中心与用户交互时不再需要可信的安全信道,使之更符合实际应用;同时通过预计算e(P,P)=g作为系统公开参数,无需使用特殊的MapToPoint哈希函数,提高了方案的效率。与现有无证书部分盲签名在效率上进行比较,实验结果表明,该方案比现有方案更高效。

摘要：本文提出了一种新的控制方案，并介绍了这种控制方案的设计思想。文中参数的选择方法与实际系统配合较好，因此参数的估计较为稳定。该方法具有一定的实用性。

摘要：利用客户端监视或执行服务器端的各种操作,从而实现远程控制是一种非常重要的工业自动化应用。本文利用C/S构架结合几种改进的图像压缩技术设计了一个可以监控多台远端服务器的软件,通过客户端可以执行远端的多台服务器桌面上的鼠标以及键盘操作。

摘要：介绍了B＆R2000PCC可编程控制器,结合CAN总线技术设计出基于开放式通信技术的智能楼宇控制系统。

摘要：分析了市政排水管道工程施工中的一些质量通病,并提出了相应的监理对策。

摘要：阐述了一个财政收费系统架构,提出了安全财政收费系统的概念,并给出其需要达到的技术性能,同时给出了现代软件工程方法如何应用到实际项目中的一个范例,并归纳了开发中碰到的关键问题和解决方案.