检索结果-内蒙古大学图书馆

作者：罗正钦上海交通大学

学位级别：硕士

安全协议的分析和验证是保证所设计的协议满足其安全性质的重要技术手段,而借助形式化的方法或工具分析安全协议是非常有效和有必要的。然而,形式化分析方法都将密码学原语抽象成符号化的操作,缺乏对于这些抽象的正确性的证明。因此,这... 详细信息

安全协议的分析和验证是保证所设计的协议满足其安全性质的重要技术手段,而借助形式化的方法或工具分析安全协议是非常有效和有必要的。然而,形式化分析方法都将密码学原语抽象成符号化的操作,缺乏对于这些抽象的正确性的证明。因此,这些形式化方法不能用来证明当抽象的原语被实际简单协议或者密码学体制替换时,协议仍然是安全的。近年来,有学者提出将两种方法结合起来的框架:在保持形式化方法相对简单的情况下,使之也满足密码学可靠性。其中,ucSA(Universally Composable Symbolic Analysis)分析框架将形式化模型与uc框架结合起来,给出了证明一类协议密码学可靠性的一般方法。ucSA框架将Dolev-Yao模型中密码学抽象操作与uc框架中的理想功能进行了结合,使得通过形式化分析方法可以证明安全协议的在密码学环境下的一些性质。然而,ucSA框架在能够分析协议类型上有一定限制,只能分析一类顺序执行的有限状态协议,并且在协议中只能使用由不需要通信的本地算法所表示的密码学操作,如标准的公钥加密操作,或者标准签名操作。本文主要的工作是对ucSA框架进行扩展,主要成果和创新如下: 1.对ucSA中的形式化分析框架进行了扩展,定义了基于PAPi演算的形式化分析框架。一方面,以进程演算为描述语言的协议能够直观的体现协议交互的特点;另一方面,PAPi演算中概率选择操作算子为形式化模型中的协议加入了在行为层进行概率选择的能力,扩展了形式化模型中能够描述和分析的协议类型; 2.对网络通信假设进行了扩展。在扩展后的模型中支持敌手控制通信、认证通信、匿名通信(发送者匿名)等不同通信假设。而不同的假设是通过不同的辅助理想进程所描述,可以根据所分析的协议选择不同的通信模型; 3.对密码学原语的抽象进行了扩展,加入了基于两方协议的密码学原语的抽象,如盲签协议,承诺协议等。描述理想协议抽象的辅助进程对应于uc框架下相应的理想功能,这使得形式化分析框架能够保持其uc框架可靠的性质; 4.扩展了uc框架对应与形式化框架下简单协议的定义,使其能够使用更多的密码学操作和协议原语,并且具有在协议行为层进行概率选择的能力。 5.以公平投掷硬币协议为例,给出了相应的形式化模型中安全判定准则和uc框架中相应理想功能的对应关系。

关键词：安全协议形式化方法进程演算 uc框架密码学可靠

来源：评论

学校读者我要写书评

暂无评论

一种典型MANET匿名路由协议的分析与改进

引用

计算机研究与发展 2008年第7期45卷 1142-1150页

作者：章洋北京邮电大学网络与交换技术国家重点实验室北京100876

鉴于现有MANET匿名路由协议中不明确的敌手模型、未知安全性的密码学原语以及非严格的分析方法不能提供协议匿名性的信任,因此,对其中一种有代表性的匿名DSR进行了分析与改进.先从定义敌手攻击能力的角度明确敌手模型,并以数据分组与端... 详细信息

鉴于现有MANET匿名路由协议中不明确的敌手模型、未知安全性的密码学原语以及非严格的分析方法不能提供协议匿名性的信任,因此,对其中一种有代表性的匿名DSR进行了分析与改进.先从定义敌手攻击能力的角度明确敌手模型,并以数据分组与端节点不可关联性为目标定义协议的理想过程.然后,在路由发现阶段获得由uc安全的会话密钥组成的路径,在数据传输阶段用该密钥构造可验证的轻型路由洋葱.最后,在uc框架中基于理想过程证明协议的匿名性.

关键词： uc框架匿名性动态源路由路由协议移动自组网

来源：评论

学校读者我要写书评

暂无评论

通用可组合安全的门限签名协议

引用

通信学报 2009年第6期30卷 1-6页

作者：洪璇陈克非李强上海师范大学计算机科学与技术系上海200234 上海交通大学密码与信息安全实验室上海200240 现代通信国家重点实验室四川成都610041

门限签名协议使得签名团体中任何t个参与者合作可以生成某个消息的有效签名;而少于t个参与者就无法得到该消息的合法签名。目前关于门限签名协议的安全性研究只是专注于单一协议执行时的安全性,针对这点,引入通用可组合框架。利用该框... 详细信息

门限签名协议使得签名团体中任何t个参与者合作可以生成某个消息的有效签名;而少于t个参与者就无法得到该消息的合法签名。目前关于门限签名协议的安全性研究只是专注于单一协议执行时的安全性,针对这点,引入通用可组合框架。利用该框架的通用可组合性可以模块化地设计与分析门限签名协议。首先定义了门限签名协议在通用可组合框架下的安全模型,并证明其等价于门限签名协议标准概念下的安全模型,然后以前摄门限签名协议为例描述如何应用这个安全模型。提出的门限签名协议和前摄性门限签名协议不仅满足可证明安全性,还具有通用可组合安全性。

关键词：门限签名协议 uc框架 uc安全前摄门限签名协议

来源：评论

学校读者我要写书评

暂无评论

一种uc匿名的移动自组网概率组播策略

引用

软件学报 2008年第9期19卷 2403-2412页

作者：章洋中国科学院软件研究所综合信息系统技术国家重点实验室北京100190

鉴于现有移动自组网匿名路由协议不能为组播提供匿名通信支持,而只能提供特定非形式化的匿名性分析,提出了一种uc(universally composable)匿名的移动自组网概率组播策略.在路由发现阶段,采用一次性密钥对保持路径记录私密.在数据分组... 详细信息

鉴于现有移动自组网匿名路由协议不能为组播提供匿名通信支持,而只能提供特定非形式化的匿名性分析,提出了一种uc(universally composable)匿名的移动自组网概率组播策略.在路由发现阶段,采用一次性密钥对保持路径记录私密.在数据分组传输阶段,采用Gossip机制、DH秘密路径及Bloom Filter编码实现匿名源路由组播.最后,采用uc框架分析了协议的匿名性,并对协议的性能进行了仿真.分析与仿真结果表明,该策略在实现匿名性的同时还提供了较好的可靠性.

关键词：组播 uc框架混合加密匿名性移动自组网

来源：评论

学校读者我要写书评

暂无评论

基于PUFS的不经意传输协议

引用

通信学报 2013年第S1期34卷 38-43页

作者：郭渊博张紫楠杨奎武解放军信息工程大学网络空间安全学院河南郑州450000

不经意传输(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框架

来源：评论

学校读者我要写书评

暂无评论

群组密钥协商协议的安全性分析方法研究

引用

计算机科学 2011年第6期38卷 145-148,156页

作者：赵秀凤徐秋亮韦大伟信息工程大学电子技术学院郑州450004 山东大学计算机科学与技术学院济南250101

群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中... 详细信息

群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中的关键技术,包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型,探讨了安全性分析方法的发展趋势。

关键词：密钥协商可证明安全安全模型规约模拟 uc框架

来源：评论

学校读者我要写书评

暂无评论

群盲签名的通用可组合性研究

引用

计算机应用研究 2017年第10期34卷 3109-3111页

作者：赵晨俞惠芳李建民青海师范大学计算机学院西宁810001

协议的uc安全性可以确保它在并发环境下运行的安全性。在uc框架下提出了一个群盲签名的理想函数,并在离散对数假设下构造了一个具有uc安全的群盲签名协议;然后分析了此协议的安全性,并详细地证明了群盲签名可以安全实现理想函数。结果... 详细信息

协议的uc安全性可以确保它在并发环境下运行的安全性。在uc框架下提出了一个群盲签名的理想函数,并在离散对数假设下构造了一个具有uc安全的群盲签名协议;然后分析了此协议的安全性,并详细地证明了群盲签名可以安全实现理想函数。结果证明所提出的通用可组合群盲签名可以安全地运行在并发环境中。

关键词： uc框架并发环境群盲签名理想函数离散对数

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：