题名 通用可组合公平安全多方计算协议
被引量：11
1
作者
田有亮 彭长根 马建峰 林辉 杨凯
机构
贵州大学理学院 西安电子科技大学计算机学院 武警工程大学电子技术系中国人民武装警察部队信息安全保密重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2014年第2期54-62,共9页
基金
长江学者和创新团队发展计划基金资助项目(IRT1078) 国家自然基金委员会-广东联合基金重点基金资助项目(U1135002) +7 种基金 国家科技部重大专项基金资助项目(2011ZX03005-002) 国家自然科学基金资助项目(61170280 61272398 61262073 61363068) 中国博士后基金资助项目(2013M530705) 贵州省自然科学基金资助项目(20132112) 贵州大学博士基金资助项目(2012024)~~
文摘
在通用可组合框架下研究安全多方计算的公平性问题。在UC框架下,提出公平安全多方计算的安全模型。在模型中形式化定义了公平安全多方加法计算理想函数FSMPAF和公平安全多方乘法计算理想函数FSMPMF。然后,基于双线性对技术和承诺方案理想函数COMF,在COMF-混合模型下分别设计公平加法协议FSMPAπ和公平乘法协议FSMPMπ安全实现理想函数FSMPAF和FSMPMF。最后,性能分析表明所提协议的有效性,能更好地满足应用需求。
关键词
uc 框架 安全多方计算 公平性 双线性对 BDH假设
Keywords
uc framework secure multiparty computation fairness bilinear pairing bilinear Diffie-Hellman assumption
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 通用可组合安全的门限签名协议
被引量：9
2
作者
洪璇 陈克非 李强
机构
上海师范大学计算机科学与技术系 上海交通大学密码与信息安全实验室 现代通信国家重点实验室
出处
《通信学报》
EI
CSCD
北大核心
2009年第6期1-6,共6页
基金
国家自然科学基金资助项目(90704004) 国家重点基础研究发展计划("973"计划)基金资助项目(2007CB311201) 现代通信国家重点实验室基金资助项目(9140C1103020803)~~
文摘
门限签名协议使得签名团体中任何t个参与者合作可以生成某个消息的有效签名;而少于t个参与者就无法得到该消息的合法签名。目前关于门限签名协议的安全性研究只是专注于单一协议执行时的安全性,针对这点,引入通用可组合框架。利用该框架的通用可组合性可以模块化地设计与分析门限签名协议。首先定义了门限签名协议在通用可组合框架下的安全模型,并证明其等价于门限签名协议标准概念下的安全模型,然后以前摄门限签名协议为例描述如何应用这个安全模型。提出的门限签名协议和前摄性门限签名协议不仅满足可证明安全性,还具有通用可组合安全性。
关键词
门限签名协议 uc 框架 uc 安全前摄门限签名协议
Keywords
threshold signature uc framework uc security proactive threshold signature
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
题名 群组密钥协商协议的安全性分析方法研究
被引量：4
3
作者
赵秀凤 徐秋亮 韦大伟
机构
信息工程大学电子技术学院 山东大学计算机科学与技术学院
出处
《计算机科学》
CSCD
北大核心
2011年第6期145-148,156,共5页
基金
国家自然科学基金(60873232)资助
文摘
群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中的关键技术,包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型,探讨了安全性分析方法的发展趋势。
关键词
密钥协商 可证明安全 安全模型 规约 模拟 uc 框架
Keywords
Key agreement Provably secure Security model Reduc tion Simulatablility uc framework
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 一种UC匿名的移动自组网概率组播策略
被引量：2
4
作者
章洋
机构
中国科学院软件研究所综合信息系统技术国家重点实验室
出处
《软件学报》
EI
CSCD
北大核心
2008年第9期2403-2412,共10页
基金
国家重点基础研究发展计划(973)~~
文摘
鉴于现有移动自组网匿名路由协议不能为组播提供匿名通信支持,而只能提供特定非形式化的匿名性分析,提出了一种UC(universally composable)匿名的移动自组网概率组播策略.在路由发现阶段,采用一次性密钥对保持路径记录私密.在数据分组传输阶段,采用Gossip机制、DH秘密路径及Bloom Filter编码实现匿名源路由组播.最后,采用UC框架分析了协议的匿名性,并对协议的性能进行了仿真.分析与仿真结果表明,该策略在实现匿名性的同时还提供了较好的可靠性.
关键词
组播 uc 框架 混合加密 匿名性 移动自组网
Keywords
multicast universal composition framework hybrid encryption anonymity MANET
分类号
TP393
[自动化与计算机技术—计算机应用技术]
题名 基于PUFS的不经意传输协议
被引量：2
5
作者
郭渊博 张紫楠 杨奎武
机构
解放军信息工程大学网络空间安全学院
出处
《通信学报》
EI
CSCD
北大核心
2013年第S1期38-43,共6页
基金
国家部委基金资助项目(9140C130103120C13062)~~
文摘
不经意传输(OT,oblivious transfer)协议是密码学中的一个基本协议。基于物理不可克隆函数(PUF,physical unclonable function)给出物理不可克隆函数系统(PUFS,physical unclonable function system)的概念,并在此基础上提出一个新的不经意传输协议(POT,PUFS based OT),最后在通用可组合(UC,universal composition)框架内给出POT协议抵抗静态敌手的安全性证明。相比于传统基于公钥加密的OT方案,POT协议不使用任何可计算的假设,而是基于PUFS的安全属性实现,因此在很大程度上减小了计算和通信开销。
关键词
不经意传输 物理不可克隆函数(PUF) 物理不可克隆函数系统(PUFS) uc 框架
Keywords
oblivious transfer physical unclonable function(PUF) physical unclonable function system(PUFS) universal composition framework
分类号
TN918
[电子电信—通信与信息系统]
题名 群盲签名的通用可组合性研究
6
作者
赵晨 俞惠芳 李建民
机构
青海师范大学计算机学院
出处
《计算机应用研究》
CSCD
北大核心
2017年第10期3109-3111,共3页
基金
国家自然科学基金资助项目(61363080) 青海省应用基础研究项目(2016-ZJ-776)
文摘
协议的UC安全性可以确保它在并发环境下运行的安全性。在UC框架下提出了一个群盲签名的理想函数,并在离散对数假设下构造了一个具有UC安全的群盲签名协议;然后分析了此协议的安全性,并详细地证明了群盲签名可以安全实现理想函数。结果证明所提出的通用可组合群盲签名可以安全地运行在并发环境中。
关键词
uc 框架 并发环境 群盲签名 理想函数 离散对数
Keywords
uc framework concurrent environment group blind signature ideal function discrete logarithm
分类号
TP309.2
[自动化与计算机技术—计算机系统结构]
题名 一种典型MANET匿名路由协议的分析与改进
7
作者
章洋
机构
北京邮电大学网络与交换技术国家重点实验室
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第7期1142-1150,共9页
基金
国家"九七三"重点基础研究发展规划基金项目(2007CB307103)
文摘
鉴于现有MANET匿名路由协议中不明确的敌手模型、未知安全性的密码学原语以及非严格的分析方法不能提供协议匿名性的信任,因此,对其中一种有代表性的匿名DSR进行了分析与改进.先从定义敌手攻击能力的角度明确敌手模型,并以数据分组与端节点不可关联性为目标定义协议的理想过程.然后,在路由发现阶段获得由UC安全的会话密钥组成的路径,在数据传输阶段用该密钥构造可验证的轻型路由洋葱.最后,在UC框架中基于理想过程证明协议的匿名性.
关键词
uc 框架 匿名性 动态源路由 路由协议 移动自组网
Keywords
universal composition framework anonymity dynamic source route（DSR） routing protocol MANET
分类号
TP309
[自动化与计算机技术—计算机系统结构]
