摘要：构造了一个新的并发不可延展的零知识论证系统,具有更好的鲁棒性.新方案基于Feige-Shamir结构而设计,以具有鲁棒性的不可延展承诺方案以及巧妙设计的证据不可区分性证明为基本组件,来实现并发不可延展性和鲁棒性.此外,对敌手视图的模拟借助了"茫然模拟"的策略.当与其它协议并发组合时,该方案更易于分析和应用.基于单向函数假设,该方案的轮复杂性为超对数.

摘要：针对现有RDIC远程数据云存储协议中,存在的对元数据包含相关数据信息忽略的问题,提出一种基于零知识理论的改进RDIC远程数据云存储协议。首先,对安全云存储的远程数据完整性检查算法框架进行设计,并针对RDIC远程数据云存储协议存在的问题进行分析;其次,针对上述分析发现问题,基于零知识理论对RDIC远程数据云存储协议进行改进,并给出新协议的安全性分析结果;最后,通过原型评估对所提算法的实用性进行验证。

摘要：在加密函数存在的假设下,我们证明了NP中的全部语言都拥有零知识证明,就是说能证明一个CNF公式是可满足的而不泄露该公式的任何其它特性,特别是,不产生满足的賦值,也不产生更弱的一些特性,比如是否存在一个满足的賦值,其中x1=真,或者是否存在一个满足的赋值,其中x_1=x_3等。上述结果使我们能够证明密码协议领域(两方及多方)里的两个基本定理。这两个定理提供自动且有效的变换,当给定一个在极弱敌情下无误的协议时,输出一个在极强敌情下也无误的协议。这样,这两个定理指明了发展两方及多方密码协议的一些强有力的方法。

摘要：身份认证方案是实现访问控制的重要工具。结合基于身份的签密思想和零知识协议,给出了一个身份认证方案模型,该模型可以实现通信双方的互认证,且可被任何一个基于身份的签密方案实例化。给出的实例化是以现存比较高效的一个基于身份的签密方案进行的。分析了实例化后方案的安全性,结果表明它可以避免重放攻击、伪造攻击、中间人攻击等常见攻击,且该方案可以容易地扩展为一个可认证的密钥协商方案。

摘要：弱信任关系下的指定的可证实数字签名,以参与的实体仅存在半信任关系为假定,要求签名数据产生与验证的分离性和排它性,证据的零知识性以及证据的防伪和不可转移等。提出了一个基于RSA公钥加密体系的可证实数字签名算法,给出了基于非形式化模型和Camenisch-Michels模型的验证过程,证明了该算法的安全性等价于RSA加解密的安全强度。

摘要：作为对装修零经验、零知识的我,为将我的小屋从梦想带到现实,面对深不可测的家装只有迎难而上。漂亮的外表当然是必不可少的,但小屋是要每天能给我们带来欢乐,让小屋的每一个细节都能承载着我的印记与回忆。经历重重波折,我找到了美女设计师李倩,"设计要耐看,功能要实用,施工要精湛,性价比要高",这二十个字包含了我对装修的所有要求。