张妤
- 作品数：6 被引量：3H指数：1
- 供职机构：郑州信息科技学院更多>>
- 发文基金：国家高技术研究发展计划河南省科技创新杰出青年基金国家自然科学基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- UC安全计算的一种信任模型被引量：2
- 2012年
- UC(通用可组合)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对对于UC安全计算的信任模型研究甚少的现状,从使用信任模型的原因入手,分析比较了国外现有的信任模型,指出了各自的优势和存在的问题。在此基础上,提出了一种公钥基础设施风格的双陷门分离的信任模型DBT模型,作为实验在DBT模型中实现了UC安全的承诺协议。实验结果表明DBT模型集成了现有信任模型的优点,并且支持协议的完全可模拟性。
- 张妤胡杰
- 关键词：密码协议通用可组合信任模型
- 一般化通用可组合安全框架研究
- 2012年
- 分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框架与UC框架及其改进版本进行比较,发现能实现包括安全计算在内的所有良好形式的理想功能的现有框架拥有一个共性,即仿真器的能力比现实敌手的能力强。讨论了GUC框架仍然存在的不足。
- 张妤彭亮
- 关键词：密码协议通用可组合信任模型
- 自计时电路中握手协议与延迟假定的研究
- 2007年
- 自计时(self-timed)电路由于没有全局时钟而具有无时钟偏移、低功耗、高速度、低电磁辐射等优点,因此逐渐受到世界范围内电路设计领域的关注并成为研究热点。针对目前国内对自计时电路设计原理方面的研究才刚刚起步的现状,采用抽象和具体相结合的对比研究方法,对握手协议和延迟假定进行了深入研究,并对研究结果进行了直观的说明。
- 张妤王喜发戴紫彬
- 关键词：握手协议时序电路
- UC安全性证明中模拟器构造方法研究
- 2012年
- 在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性的本质要求,指出了符合UC安全性本质要求的模拟器存在条件以及模拟内容,在此基础上,阐述了构造模拟器的方法,并给出了该方法的正确性分析。为正确使用UC模型进行密码协议的UC安全性证明提供了切实可行的方法。
- 张妤黄周晶
- 关键词：密码协议模拟器
- 基于防篡改硬件模型的UC安全承诺协议被引量：1
- 2013年
- 从通用可组合(UC)框架的基本概念出发,分析UC安全性对承诺协议的要求,得出以下结论:朴素模型中不存在UC安全承诺协议是因为承诺协议的安全需求与UC安全性要求间存在矛盾。在此基础上提出一种基于防篡改硬件模型的UC安全承诺协议UCCOM。分析结果表明,UCCOM的安全性不依赖于可信第三方,与同类协议相比,使用的密码学操作更少,效率更高。
- 张妤阴建强胡杰
- 关键词：隐藏性
- 通用可组合安全计算的信任模型研究
- 2012年
- 通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻画这些基础假定的信任模型的设计原理,比较了它们的异同和优缺点,并展望了未来的研究方向。
- 张妤阴建强胡杰
- 关键词：密码协议通用可组合信任模型
