期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于时间戳私钥签名技术的Nayak-T协议安全性分析
1
作者
肖美华
梅映天
+3 位作者
李伟
李娅楠
钟小妹
宋子繁
《计算机工程与科学》
CSCD
北大核心
2017年第12期2252-2259,共8页
随着信息网络的快速发展,云服务走进人们视野,云环境下信息安全问题成为人们关注的焦点。Nayak协议是一种云环境下基于口令身份认证,实现双向认证和会话密钥交换的协议。针对Nayak协议存在的中间人攻击,提出改进协议Nayak-T。Nayak-T协...
随着信息网络的快速发展,云服务走进人们视野,云环境下信息安全问题成为人们关注的焦点。Nayak协议是一种云环境下基于口令身份认证,实现双向认证和会话密钥交换的协议。针对Nayak协议存在的中间人攻击,提出改进协议Nayak-T。Nayak-T协议在消息项内增加时间戳并更改加密手段,通过双重加密的手段来保证双方通信安全。利用四通道并行建模法对Nayak-T协议建模,运用SPIN对该协议进行验证,验证结果得出Nayak-T协议安全的结论。模型优化策略分析表明,采用静态分析、类型检查、语法重定序模型优化策略的模型检测效率最佳,可运用于类似复杂协议的形式化分析与验证。
展开更多
关键词
Nayak协议
Nayak—T协议
模型检测
私钥签名
时间戳
在线阅读
下载PDF
职称材料
一个前向安全的电子货币系统
被引量：
10
2
作者
苏云学
祝跃飞
《计算机学报》
EI
CSCD
北大核心
2004年第1期136-139,共4页
该文利用前向安全的签名算法构造了一个前向安全的电子货币系统 .在该系统中 ,一方面 ,每隔一时间段 ,发币行的签名私钥就会更新 ,由此也把不同时间段的货币分成了不同的集合 ,而且货币具有生存期 ,这降低了重复花费检测与存储的代价 ....
该文利用前向安全的签名算法构造了一个前向安全的电子货币系统 .在该系统中 ,一方面 ,每隔一时间段 ,发币行的签名私钥就会更新 ,由此也把不同时间段的货币分成了不同的集合 ,而且货币具有生存期 ,这降低了重复花费检测与存储的代价 .另一方面 ,如果发币行当前的签名私钥被破坏 ,不会影响以前时间段所发行的货币 ,从而减小发币行的损失 .
展开更多
关键词
电子货币系统
盲
签名
签名
私钥
签名
算法
在线阅读
下载PDF
职称材料
题名
基于时间戳私钥签名技术的Nayak-T协议安全性分析
1
作者
肖美华
梅映天
李伟
李娅楠
钟小妹
宋子繁
机构
华东交通大学软件学院
池州职业技术学院
出处
《计算机工程与科学》
CSCD
北大核心
2017年第12期2252-2259,共8页
基金
国家自然科学基金(61163005
61562026)
+2 种基金
江西省自然科学基金(20161BAB202063)
江西省对外科技合作项目(20151BDH80005)
江西省主要学科学术和技术带头人资助计划(2017BCB22015)
文摘
随着信息网络的快速发展,云服务走进人们视野,云环境下信息安全问题成为人们关注的焦点。Nayak协议是一种云环境下基于口令身份认证,实现双向认证和会话密钥交换的协议。针对Nayak协议存在的中间人攻击,提出改进协议Nayak-T。Nayak-T协议在消息项内增加时间戳并更改加密手段,通过双重加密的手段来保证双方通信安全。利用四通道并行建模法对Nayak-T协议建模,运用SPIN对该协议进行验证,验证结果得出Nayak-T协议安全的结论。模型优化策略分析表明,采用静态分析、类型检查、语法重定序模型优化策略的模型检测效率最佳,可运用于类似复杂协议的形式化分析与验证。
关键词
Nayak协议
Nayak—T协议
模型检测
私钥签名
时间戳
Keywords
Nayak protocol
Nayak-T protocol
model checking
private key signature
time stamp
分类号
TP309 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
一个前向安全的电子货币系统
被引量：
10
2
作者
苏云学
祝跃飞
机构
解放军信息工程大学网络工程系
出处
《计算机学报》
EI
CSCD
北大核心
2004年第1期136-139,共4页
基金
国家"九七三"重点基础研究发展规划项目(G19990 3 5 80 4)
国家自然科学基金 (90 2 0 40 15
+1 种基金
1993 10 10 )
河南省杰出青年基金(0 2 12 0 0 14 0 0 )资助
文摘
该文利用前向安全的签名算法构造了一个前向安全的电子货币系统 .在该系统中 ,一方面 ,每隔一时间段 ,发币行的签名私钥就会更新 ,由此也把不同时间段的货币分成了不同的集合 ,而且货币具有生存期 ,这降低了重复花费检测与存储的代价 .另一方面 ,如果发币行当前的签名私钥被破坏 ,不会影响以前时间段所发行的货币 ,从而减小发币行的损失 .
关键词
电子货币系统
盲
签名
签名
私钥
签名
算法
Keywords
forward-secure
electronic cash
blind signature
分类号
F830.46 [经济管理—金融学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于时间戳私钥签名技术的Nayak-T协议安全性分析
肖美华
梅映天
李伟
李娅楠
钟小妹
宋子繁
《计算机工程与科学》
CSCD
北大核心
2017
0
在线阅读
下载PDF
职称材料
2
一个前向安全的电子货币系统
苏云学
祝跃飞
《计算机学报》
EI
CSCD
北大核心
2004
10
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
