期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
通用可组合认证密钥交换协议
被引量：
4
1
作者
张紫楠
郭渊博
+2 位作者
杨奎武
黄惠新
杨占海
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2014年第5期185-191,共7页
物理不可克隆函数是指对一个物理实体输入一个激励,利用其不可避免的内在物理构造的随机差异输出一个不可预测的响应.针对传感器节点的计算、存储和通信能力有限等问题,基于物理不可克隆函数提出物理不可克隆函数系统的概念,并在此基础...
物理不可克隆函数是指对一个物理实体输入一个激励,利用其不可避免的内在物理构造的随机差异输出一个不可预测的响应.针对传感器节点的计算、存储和通信能力有限等问题,基于物理不可克隆函数提出物理不可克隆函数系统的概念,并在此基础上提出一个新的用于无线传感器网络的认证密钥交换协议,最后在通用可组合框架内给出新协议抵抗静态敌手的安全性证明.相比于传统基于公钥加密的认证密钥交换协议,新协议不使用任何可计算的假设,而是基于物理不可克隆函数系统的安全属性实现,因此在很大程度上减少了计算和通信开销.该协议涉及较少的交互次数,认证协议计算仅仅需要散列函数、对称加密和物理不可克隆函数系统.
展开更多
关键词
认证密钥交换
物理不
可
克隆函数
物理不
可
克隆函数系统
通用
可
组合
框架
下载PDF
职称材料
密码服务API通用可组合框架
2
作者
徐开勇
袁庆军
+1 位作者
谭磊
陆思奇
《密码学报》
CSCD
2017年第4期405-412,共8页
密码服务API是各类信息系统获取密码服务的入口,为信息系统的密钥协商、信息加密和身份认证等提供密码算法的调用与处理,当前攻击者针对API设计缺陷或漏洞,绕过系统安全策略或者非正常调用密码处理过程,从而达到欺骗密码服务系统,获取...
密码服务API是各类信息系统获取密码服务的入口,为信息系统的密钥协商、信息加密和身份认证等提供密码算法的调用与处理,当前攻击者针对API设计缺陷或漏洞,绕过系统安全策略或者非正常调用密码处理过程,从而达到欺骗密码服务系统,获取密码系统内部的密码资源或秘密信息.本文通过研究密码服务API功能函数组合应用的安全性证明问题,提出了密码服务API的通用可组合框架,旨在通过形式化分析方法对密码服务API的安全性进行验证.在通用可组合安全框架下,添加了支持密码服务API全局状态的记录、读取和操作,提出了密码服务API通用可组合安全框架.对理想模型下、现实模型下和混合模型下的密码服务API执行过程进行了形式化描述,通过基础定理的证明验证了在API通用可组合框架下,以API基础功能为基础,验证复杂API安全性是可行的.
展开更多
关键词
密码服务API
通用
可
组合
框架
全局状态
下载PDF
职称材料
通用可组合框架下的公平理性委托计算
3
作者
田有亮
蒋小霞
《通信学报》
EI
CSCD
北大核心
2021年第9期106-119,共14页
为实现理性委托计算中的经济与信誉公平性,基于密码学的区块链模型提出了通用可组合(UC)框架下的公平理性委托计算方案。首先,结合直接信誉和间接信誉构建关于委托方与计算方的双向信誉激励模型。其次,基于博弈论构建具有完美信息的理...
为实现理性委托计算中的经济与信誉公平性,基于密码学的区块链模型提出了通用可组合(UC)框架下的公平理性委托计算方案。首先,结合直接信誉和间接信誉构建关于委托方与计算方的双向信誉激励模型。其次,基于博弈论构建具有完美信息的理性委托计算动态博弈模型,分析得到唯一子博弈纳什均衡。再次,根据理性委托计算场景中的可验证性安全需求、参与者理性决策需求、经济与信誉公平需求以及敌手模型,基于通用可组合理论提出公平理性委托计算理想函数。最后,结合简洁承诺证明和智能合约提出了可安全实现理想函数的公平理性委托计算协议。协议分析证明,所提协议满足UC安全性。
展开更多
关键词
公平理性委托计算
通用
可
组合
框架
智能合约
密码学的区块链模型
下载PDF
职称材料
一般化通用可组合安全框架研究
4
作者
张妤
彭亮
《计算机工程与设计》
CSCD
北大核心
2012年第4期1271-1274,1284,共5页
分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框...
分析一般化通用可组合安全框架(GUC框架)解决的关键问题及其机理。在此基础上深入研究实现GUC承诺的一个协议示例,得出GUC框架虽然要求仿真器与现实敌手共用同一个全局可信建立,但是二者对于该全局可信建立的利用程度是不同的。将GUC框架与UC框架及其改进版本进行比较,发现能实现包括安全计算在内的所有良好形式的理想功能的现有框架拥有一个共性,即仿真器的能力比现实敌手的能力强。讨论了GUC框架仍然存在的不足。
展开更多
关键词
密码协议
通用
可
组合
一般化
通用
可
组合
安全分析
框架
全局建立假定
信任模型
下载PDF
职称材料
题名
通用可组合认证密钥交换协议
被引量：
4
1
作者
张紫楠
郭渊博
杨奎武
黄惠新
杨占海
机构
中国人民解放军
解放军信息工程大学密码工程学院
中国人民解放军
出处
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2014年第5期185-191,共7页
基金
国家部委基金资助项目(9140C130103120C13062)
文摘
物理不可克隆函数是指对一个物理实体输入一个激励,利用其不可避免的内在物理构造的随机差异输出一个不可预测的响应.针对传感器节点的计算、存储和通信能力有限等问题,基于物理不可克隆函数提出物理不可克隆函数系统的概念,并在此基础上提出一个新的用于无线传感器网络的认证密钥交换协议,最后在通用可组合框架内给出新协议抵抗静态敌手的安全性证明.相比于传统基于公钥加密的认证密钥交换协议,新协议不使用任何可计算的假设,而是基于物理不可克隆函数系统的安全属性实现,因此在很大程度上减少了计算和通信开销.该协议涉及较少的交互次数,认证协议计算仅仅需要散列函数、对称加密和物理不可克隆函数系统.
关键词
认证密钥交换
物理不
可
克隆函数
物理不
可
克隆函数系统
通用
可
组合
框架
Keywords
authenticated key exchange
physical unclonable function
physical unclonable function system
universally composable framework
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
密码服务API通用可组合框架
2
作者
徐开勇
袁庆军
谭磊
陆思奇
机构
解放军信息工程大学密码工程学院
解放军外国语学院
出处
《密码学报》
CSCD
2017年第4期405-412,共8页
文摘
密码服务API是各类信息系统获取密码服务的入口,为信息系统的密钥协商、信息加密和身份认证等提供密码算法的调用与处理,当前攻击者针对API设计缺陷或漏洞,绕过系统安全策略或者非正常调用密码处理过程,从而达到欺骗密码服务系统,获取密码系统内部的密码资源或秘密信息.本文通过研究密码服务API功能函数组合应用的安全性证明问题,提出了密码服务API的通用可组合框架,旨在通过形式化分析方法对密码服务API的安全性进行验证.在通用可组合安全框架下,添加了支持密码服务API全局状态的记录、读取和操作,提出了密码服务API通用可组合安全框架.对理想模型下、现实模型下和混合模型下的密码服务API执行过程进行了形式化描述,通过基础定理的证明验证了在API通用可组合框架下,以API基础功能为基础,验证复杂API安全性是可行的.
关键词
密码服务API
通用
可
组合
框架
全局状态
Keywords
the cryptographic service APIs
the UC framework
global status
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
通用可组合框架下的公平理性委托计算
3
作者
田有亮
蒋小霞
机构
贵州大学计算机科学与技术学院
贵州大学省部共建公共大数据国家重点实验室(筹)
贵州大学密码学与数据安全研究所
出处
《通信学报》
EI
CSCD
北大核心
2021年第9期106-119,共14页
基金
国家自然科学基金资助项目(No.U1836205,No.61662009,No.61772008)
贵州省科技计划基金资助项目(No.20183001,黔科合基础[2019]1098,黔科合平台人才[2020]6008,黔教合人才团队[2013]09)
贵阳市科技计划基金资助项目(筑科合[2021]1-5)。
文摘
为实现理性委托计算中的经济与信誉公平性,基于密码学的区块链模型提出了通用可组合(UC)框架下的公平理性委托计算方案。首先,结合直接信誉和间接信誉构建关于委托方与计算方的双向信誉激励模型。其次,基于博弈论构建具有完美信息的理性委托计算动态博弈模型,分析得到唯一子博弈纳什均衡。再次,根据理性委托计算场景中的可验证性安全需求、参与者理性决策需求、经济与信誉公平需求以及敌手模型,基于通用可组合理论提出公平理性委托计算理想函数。最后,结合简洁承诺证明和智能合约提出了可安全实现理想函数的公平理性委托计算协议。协议分析证明,所提协议满足UC安全性。
关键词
公平理性委托计算
通用
可
组合
框架
智能合约
密码学的区块链模型
Keywords
fair and rational delegation of computation
universally composable framework
smart contract
blockchain model of cryptography
分类号
TN92 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
一般化通用可组合安全框架研究
4
作者
张妤
彭亮
机构
解放军信息工程大学电子技术学院
[
出处
《计算机工程与设计》
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 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
通用可组合认证密钥交换协议
张紫楠
郭渊博
杨奎武
黄惠新
杨占海
《西安电子科技大学学报》
EI
CAS
CSCD
北大核心
2014
4
下载PDF
职称材料
2
密码服务API通用可组合框架
徐开勇
袁庆军
谭磊
陆思奇
《密码学报》
CSCD
2017
0
下载PDF
职称材料
3
通用可组合框架下的公平理性委托计算
田有亮
蒋小霞
《通信学报》
EI
CSCD
北大核心
2021
0
下载PDF
职称材料
4
一般化通用可组合安全框架研究
张妤
彭亮
《计算机工程与设计》
CSCD
北大核心
2012
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
