并行安全多方计算协议应用研究

安全多方计算蕴含了对任何密码协议问题在原则上的实现方案,它能在原则上告诉我们哪些问题是可以解决的,哪些问题是不可能解决的。首先介绍了并行安全多方计算(SPMC)的相关工具和概念知识;接着通过模拟改进后的密码学就餐问题显示SPMC的实际应用,并在此基础上构建了SPMC的协议;最后通过"直和"方法对其安全性进行了验证分析,提出了值得进一步探讨的SPMC问题以及SPMC协议的改进研究。     

无线传感器网络中基于共享密钥的互认证和密钥协商方案

为了提高无线传感器网络的安全认证,提出了一种基于共享密钥的互认证和密钥协商方案,包括注册阶段、登录阶段、认证和密钥协商阶段3个部分。注册阶段,完成用户节点A和传感器节点S的注册,并存储用户节点A的伪身份ID:PIDA,伪身份信息PIA,hash函数H(·)信息和传感器节点S的身份IS。登录阶段,用户凭借身份IDA和签名S1进入智能卡获取身份信息IA。认证和密钥协商阶段,完成相互认证和共享密钥的使用。与其他方案相比,所提出的方案提供了匿名服务,避免了用户、节点的模拟攻击,并可以抵抗重放攻击、中间人攻击、DoS攻击,提高了网络的安全性。在计算开销方面,该方案的执行时间约为0.42ms,与同类方案相比较减少了计算量。     

保护隐私的凸包生成协议

特殊的安全多方计算目前成为密码学界的一个研究热点。保护隐私的计算几何作为一类特殊的安全多方计算问题,有其广阔的应用前景。文章对其中的安全两方凸包求解问题进行分析,结合STPCH协议对PPCHP—QH协议加以改进,提出一个保护隐私的两方凸包快速生成协议且对其正确性、安全性和复杂性进行分析。     

保护隐私的凸包生成协议

特殊的安全多方计算目前成为密码学界的一个研究热点。保护隐私的计算几何作为一类特殊的安全多方计算问题,有其广阔的应用前景。文章对其中的安全两方凸包求解问题进行分析,结合STPCH协议对PPCHP_QH协议加以改进,提出一个保护隐私的两方凸包快速生成协议且对其正确性、安全性和复杂性进行分析。     

保护隐私的线性回归协议

文章讨论了在数据垂直分布、水平分布时的保护隐私线性回归问题,提出了两个保护隐私的线性回归协议,并对协议的正确性、安全性进行了分析.两个协议使用MIARCL函数库进行了实验验证,实验结果表明该方案能够解决两方参与的线性回归问题,并且计算效率是可以接受的.     

虚拟计算环境下认证组密钥协议的安全代理研究

在移动虚拟计算环境下,代理往往会出现基本的安全问题。为解决移动虚拟计算环境中安全代理问题,提出了一个基于ID单轮双线性密钥协商协议。该协议中,所有代理可以在一次会话中生成认证组密钥。对虚拟计算环境下总的安全问题进行了分析,并对虚拟计算环境进行了效率分析,提出了具有较低计算消耗的方案。     

基于安全多方计算的电子商务高可靠性技术研究

研究了若干无需第三方或较少依赖第三方的高效实用SMC基础协议,使之成为解决电子商务安全、高效等问题及其他SMC问题的基本工具;建立电子商务用户的信誉度度量及评估模型,使之能够动态地准确评估电子商务用户的信誉度,研究协议的安全性形式化分析与证明方法,设计无需第三方的安全电子拍卖、电子选举等协议,使之在达到安全需要的同时也能保护用户的隐私。     

基于身份的双向认证及密钥协商协议

本文利用椭圆曲线上的双线性映射的特性,提出了一种基于身份的双向认证及密钥协商协议,该协议实现了通信双方的相互身份认证功能,使通信双方能确认对方的身份,同时还提供了密钥协商的功能,让通信双方能公平的协商会话密钥,经过分析,该协议能够抵抗重放攻击、中间人攻击和拒绝服务攻击,具有较高的安全性,此外,协议还具有较高的效率。     

安全通信中的会话密钥分配

讨论了开放式网络中用于安全通信的会话密钥分配技术，并分析了现实中采用该技术的Kerberos系统的体系结构和安全性质。     

一种基于身份可认证的密钥协商协议的分析与改进

对Wang等提出的一种基于身份可认证的密钥协商协议进行协议安全性分析后发现,该协议存在安全性不足,如存在冗余信息、假冒攻击和临时秘密信息泄漏攻击。为解决这个问题,对该协议进行了改进,并对改进后协议的安全属性和运行效率进行了分析。分析结果表明,改进后的基于身份可认证的密钥协商协议满足已知所有的密钥协商协议的安全属性要求,且拥有可靠的效率。     

乘法同态加密的百万富翁协议的改进

百万富翁问题的解决方案已经成为许多安全多方计算问题解决方案的一个基本模块,给出了一个基于乘法同态加密的百万富翁改进协议,该协议在比较出＂≤＂的关系上,增加了比较＂=＂的关系,同时还给出协议的正确性、安全性和效率的分析。     

一种基于Weil对的三方会话密钥协商协议

共享网络中用户之间的会话一般都是在公开的信道上进行通信的,其会话必须要有一个安全的会话密钥。本文提出了一种基于Weit对的三方会话密钥协商协议,通过对该协议的安全性进行分析,可以证明该会话密钥协商协议是安全的、可用的。     

基于认知—发现学习理论的英语主谓一致教学研究

主谓一致是英语组词成句时必须遵守的一项基本的语法规则,然而传统的三原则并不能很好地解释语言现实,导致英语学习者感觉主谓一致语法现象捉摸不定。此研究以认知—发现学习理论为指导,从英语主谓一致的语法知识与教学实践的结合上,对主谓一致教学进行了定位,提出了适合中国英语学习者学习英语主谓一致的教学策略,最终,发掘出概念一致原则才是处理主谓一致关系时真正应该遵循的原则,从而达到各原则协调统一。     

可信计算的操作系统安全模型及实现方案

对可信计算平台的安全要素进行分析,深入研究了一种采用可信计算的原理进行操作系统运行中核心信息的完整性保护策略,以Windows Vista操作系统为例,阐述该操作系统对数据的完整性保护策略和可信环境的建立框架。根据可信操作系统中,数据完整性保护策略以基于根信任的安全机制和信任传递机制,从而建立一套完整的信息完整性保护系统。在此基础上,提出并实现了一个新型基于可信计算的操作系统信息完整性保护模型,并阐述了该模型的实现原理、组成结构和工作过程。     

简单认证密钥协商协议的学习与研究

1999年Seo及Sweeney两位学者修改了著名的Diffie-Hellam密钥协议以提供用户身份认证,从而提出了简单认证密钥协商协议(SAKA)。但Sun却指出SAKA算法存在三处严重缺陷:(1)不能确认某个用户的身份;(2)不能防御密码猜测攻击;(3)不能提供完美前向安全性(PFS)。为了克服SAKA算法的缺陷,Tseng,Wang等人对该协议做出了一些改进。本文通过分析,指出了这些协议存在安全缺陷的根本原因并证明了其并不能有效抵制在线密钥猜测攻击。针对这些协议无法保证其安全性的不足,本文提出了一个改进方案,能够有效防止中间人攻击并提高计算效能。     

两个无证书两方认证密钥协商协议分析

利用对无证书密钥协商协议常见的攻击方法,分析了两个无证书两方认证密钥协商协议的安全性.基于不同秘密信息泄露情况,分别对两个协议给出了密钥泄露伪装攻击、临时密钥泄露攻击等多种攻击方法.结果表明,两个协议都存在严重的安全缺陷.     

浅谈个人合伙协议的要点

针对个人合伙协议的特征、内容及与其他协议的不同之处等进行分析研究，明确了个人合伙协议在法律框架内如何具体操作实施。     

对夫妻忠诚协议的法学分析

夫妻忠诚协议是夫妻约定彼此互负忠诚义务的双方民事行为,是对婚姻契约法定内容的补充。在不违反法律和公序良俗的情况下,夫妻双方自愿签订的夫妻忠诚协议应该是有效的。