×
验证码:
换一张
忘记密码?
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
湖南大学 [3]
软件研究所 [2]
中国科学院大学 [1]
山东大学 [1]
华南理工大学 [1]
武汉轻工大学 [1]
更多...
内容类型
期刊论文 [8]
会议论文 [1]
学位论文 [1]
发表日期
2019 [5]
2018 [2]
2016 [1]
2013 [1]
2009 [1]
学科主题
计算机科学技术 [1]
计算机科学技术::计... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共10条,第1-10条
帮助
已选(
0
)
清除
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于 TPM 2.0 的协议设计与分析研究
学位论文
博士, 北京: 中国科学院研究生院, 2019
作者:
王微谨
收藏
  |  
浏览/下载:192/0
  |  
提交时间:2019/07/03
可信计算
TPM 2.0
API 分析
形式化方法
匿名认证协议
基于符号模型的TLS1.3协议安全性自动化分析
期刊论文
数学的实践与认识, 2019, 期号: 05
作者:
王小峰
;
张奇林
;
刘加兵
收藏
  |  
浏览/下载:5/0
  |  
提交时间:2019/12/05
认证性
秘密性
Applied PI演算
符号模型
形式化方析
ProVerif
A lightweight anonymous mutual authentication and key agreement scheme for WBAN
期刊论文
Concurrency and Computation: Practice and Experience, 2019, 卷号: Vol.31 No.14
作者:
Zisang Xu
;
Cheng Xu
;
Haixian Chen
;
Fang Yang
收藏
  |  
浏览/下载:4/0
  |  
提交时间:2019/12/13
anonymous mutual authentication
key agreement
ProVerif
WBAN
Attacks and solutions on a three-party password-based authenticated key exchange protocol for wireless communications
期刊论文
JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2019, 卷号: 10, 期号: 8, 页码: 3133-3142
作者:
Chen, Chien-Ming
;
Wang, King-Hang
;
Yeh, Kuo-Hui
;
Xiang, Bin
;
Wu, Tsu-Yang
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2019/12/11
Authenticated key exchange
Password-based
Wireless communication
Proverif
A lightweight anonymous mutual authentication and key agreement scheme for WBAN
期刊论文
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2019, 卷号: Vol.31 No.14
作者:
Xu, ZS
;
Xu, C
;
Chen, H
;
Yang, F
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/12/17
anonymous mutual authentication
key agreement
ProVerif
WBAN
Pairing based anonymous and secure key agreement protocol for smart grid edge computing infrastructure
期刊论文
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2018, 卷号: Vol.88, 页码: 491-500
作者:
Mahmood, Khalid
;
Li, Xiong
;
Chaudhry, Shehzad Ashraf
;
Naqvi, Husnain
;
Kumari, Saru
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/26
Smart grid
Authentication
Anonymity
Smart meter
Edge computing
ProVerif
满足对应性属性的平台配置证明
期刊论文
计算机应用, 2018, 卷号: 38, 期号: 2, 页码: 337-342
作者:
徐明迪
;
高杨
;
高雪原
;
张帆
收藏
  |  
浏览/下载:6/0
  |  
提交时间:2019/12/27
可信计算
完整性报告协议
平台配置证明
对应性属性
StatVerif演算
Proverif验证
A privacy-preserving group authentication protocol for machine-type communication in lte/lte-a networks
期刊论文
Security and communication networks, 2016, 卷号: 9, 期号: 13, 页码: 2002-2014
作者:
Fu, Anmin
;
Song, Jianye
;
Li, Shuai
;
Zhang, Gongxuan
;
Zhang, Yuqing
收藏
  |  
浏览/下载:36/0
  |  
提交时间:2019/05/09
Mtc
Lte
Lte-a
Group authentication
Privacy protection
自动信任协商安全性的形式化分析与验证 (EI收录)
期刊论文
《华南理工大学学报:自然科学版》, 2013, 页码: 77-82
作者:
刘欣欣[1]
;
唐韶华[1]
收藏
  |  
浏览/下载:3/0
  |  
提交时间:2019/04/25
自动信任协商
安全性
形式化分析
APPLIED
Π演算 观察等价
ProVerif
verifying anonymous credential systems in applied pi calculus
会议论文
8th International Conference on Cryptology and Network Security, CANS 2009, Kanazawa, Japan, 40878
Li Xiangxi
;
Zhang Yu
;
Deng Yuxin
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2011/03/20
Cryptography
Internet
©版权所有 ©2017 CSpace - Powered by
CSpace