-
题名一般化通用可组合安全框架研究
- 1
-
-
作者
张妤
彭亮
-
机构
解放军信息工程大学电子技术学院
[
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第4期1271-1274,1284,共5页
-
基金
国家863高技术研究发展计划基金项目(2007AA01Z405)
河南省科技创新杰出青年基金项目(2007AA01Z405)
-
文摘
分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框架与UC框架及其改进版本进行比较,发现能实现包括安全计算在内的所有良好形式的理想功能的现有框架拥有一个共性,即仿真器的能力比现实敌手的能力强。讨论了GUC框架仍然存在的不足。
-
关键词
密码协议
通用可组合
一般化通用可组合安全分析框架
全局建立假定
信任模型
-
Keywords
cryptographic protocol
universal composability
generalized universally composable security framework
globalset-up assumption
trust model
-
分类号
TN918
[电子电信—通信与信息系统]
-
-
题名一种通用可组合安全的快速密钥交换协议
被引量：2
- 2
-
-
作者
齐庆磊
张浩军
王逸芳
-
机构
河南工业大学信息科学与工程学院
-
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第20期94-96,共3页
-
基金
河南省重点科技攻关计划基金资助项目(072102210029)
河南工业大学高层次人才基金资助项目(2007BS019)
河南省青年骨干教师基金资助项目
-
文摘
针对快速密钥交换协议JFKi信息冗余及缺乏形式化证明的问题,提出一种轻量级快速密钥交互协议LJFKi。通过对比分析,发现所提协议的消息长度较原有协议减少1/3,具有较高的通信效率,更适用于对通信负载比较敏感的网络。利用通用可组合安全模型证明该协议能够实现安全会话理想函数,具有通用可组合安全性。
-
关键词
IPSEC协议
协议安全性
协议分析
快速密钥交换协议
通用可组合安全性
-
Keywords
IPSec protocol
protocol security
protocol analysis
Just Fast Keying（JFKi） protocol
Universally Composable（UC） security
-
分类号
TP393.08
[自动化与计算机技术—计算机应用技术]
-
-
题名UC安全性证明中模拟器构造方法研究
- 3
-
-
作者
张妤
黄周晶
-
机构
解放军信息工程大学电子技术学院
[
-
出处
《计算机工程与设计》
CSCD
北大核心
2012年第3期906-910,共5页
-
基金
国家863高技术研究发展计划基金项目(2007AA01Z405)
河南省科技创新杰出青年基金项目(104100510025)
-
文摘
在UC模型(通用可组合安全分析模型)中密码协议安全性证明的难点是模拟器的构造,而目前模拟器的构造没有通用有效的方法可循,针对这一问题,提出了一种构造模拟器的通用有效的方法。研究了UC模型的构建原理,分析了UC安全性的本质要求,指出了符合UC安全性本质要求的模拟器存在条件以及模拟内容,在此基础上,阐述了构造模拟器的方法,并给出了该方法的正确性分析。为正确使用UC模型进行密码协议的UC安全性证明提供了切实可行的方法。
-
关键词
密码协议
通用可组合安全分析模型
安全性证明
模拟器
构造方法
-
Keywords
cryptographic protocol universally composable security analysis framework
security proof simulator construc-ting method
-
分类号
TN918
[电子电信—通信与信息系统]
-
