论文部分内容阅读
安全计算问题是密码学协议研究的基础问题之一,也与很多重要的密码学应用相关。广泛地说,大多数密码学集合中的协议和问题都可以被看作是该问题的特殊形式(例如:加密解密、身份认证、承诺、签名、零知识证明等等),因此安全多方计算可以被当作大多数密码研究的一般通用范例。此外安全计算也是分布式系统的研究基础。本文的工作选题于安全计算的应用,着重于在网络环境中,应用安全计算的一般研究方法解决合同签订问题以及多个参与者的密码学协议,以及在现有PC平台上搭建可信赖的网络环境。不经意传输协议(Oblivious Transver protocol)是基本的安全计算问题,大多数不经意传输协议都是基于因式分解的不可行性,本文设计实现了一个基于椭圆曲线离散对数问题的不经意传输协议,不像因式分解问题以及一般的离散对数问题,椭圆曲线离散对数问题并不存在亚指数时间的求解算法,因此可以使用更小的密钥得到同样的安全强度,从而改进处理时间和通信开销。同时本文也给出了该算法安全性的证明以及通信效率的比较。其次,本文研究了网络环境中的合同签订问题,由于需要保证信息交换的同时性,以前提出的协议都会给第二个发送者部分计算特权,本文设计的协议利用不经意传输协议解决这个问题。在协议执行过程中,参与者将合同的签名位以及他对签名位的承诺不经意传输给对方,对方可以利用验证子协议证明该位的有效性,但是他却不能通过位交换次数的增加获取更多的完整签名的信息;在完成签名位的交换之后,参与者分别公开承诺,并得到对方对合同的完整签名;在公开承诺时,协议参与者已经获得全部的签名内容,要么是签名位,要么是对方对该位的承诺,因此参与者并不需要担心对方提前终止协议,同时本文也利用多方安全计算的结论证明了该协议满足终止公平性。针对多个参与者的情形,本文设计实现了一个主动式可验证的秘密共享协议,并结合定义简要地证明了协议正确性,然后本文利用该协议构造了一个新型分布式文件系统,能够部分地解决现有网络文件系统存在的问题。此外本文还利用安全计算的商品服务器模型构造了一个在线升级入侵检测系统规则数据库的协议,该协议可以解决用户和服务提供者之间不信任。电子商务的安全问题一直是制约其发展的根本原因,用户在执行网络交易时,黑客可以在多个环节,窃取用户的敏感信息。本文的最后分析了现有系统存在的问题,并根据TCG组织提出的安全标准,设计实现了一个安全的电子交易环境,该平台通过密码学技术实现大型机硬件地址保护的功能,可以在一定程度上防范黑客的木马程序对电子商务应用的攻击。