掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on security standardisation research
International conference on security standardisation research
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Authenticated Key Exchange over Bitcoin
机译:
通过比特币进行身份验证的密钥交换
作者:
Patrick McCorry
;
Siamak F. Shahandashti
;
Dylan Clarke
;
Feng Hao
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Authenticated key exchange;
Bitcoin;
Diffie-Hellman;
YAK;
2.
Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment
机译:
点击即付(TTP):防止NFC付款中的黑手党攻击
作者:
Maryam Mehrnezhad
;
Feng Hao
;
Siamak F. Shahandashti
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Near Field Communication;
Mobile NFC payment;
Mafia attack;
MITM attack;
Mobile sensor;
Accelerometer;
Security;
Usability;
3.
Robust Authenticated Key Exchange Using Passwords and Identity-Based Signatures
机译:
使用密码和基于身份的签名进行可靠的身份验证密钥交换
作者:
Jung Yeon Hwang
;
Seung-Hyun Kim
;
Daeseon Choi
;
Seung-Hun Jin
;
Boyeon Song
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Authentication;
Password;
Identity-based signature;
Key exchange;
4.
Non-repudiation Services for the MMS Protocol of IEC 61850
机译:
IEC 61850的MMS协议的不可否认服务
作者:
Karl Christoph Ruland
;
Jochen Sassmannshausen
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Smart grid security;
IEC 61850;
MMS protocol;
ISO 9506;
IEC 62351;
Non-repudiation;
ISO 13888-3;
5.
Analysis of the PKCS#11 API Using the Maude-NPA Tool
机译:
使用Maude-NPA工具分析PKCS#11 API
作者:
Antonio Gonzalez-Burgueno
;
Sonia Santiago
;
Santiago Escobar
;
Catherine Meadows
;
Jose Meseguer
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
PKCS#11;
Cryptographic application programming interfaces (cryptographic APIs);
Symbolic cryptographic protocol analysis;
Maude-NPA;
6.
How to Manipulate Curve Standards: A White Paper for the Black Hat
机译:
如何操纵曲线标准:黑帽白皮书
作者:
Daniel J. Bernstein
;
Tung Chou
;
Chitchanok Chuengsatiansup
;
Andreas Huelsing
;
Eran Lambooij
;
Tanja Lange
;
Ruben Niederhagen
;
Christine van Vredendaal
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Elliptic-curve cryptography;
Verifiably random curves;
Verifiably pseudorandom curves;
Minimal curves;
Nothing-up-my-sleeve numbers;
ANSI X9;
NIST;
SECG;
Brainpool;
Microsoft NUMS;
7.
Security of the SM2 Signature Scheme Against Generalized Key Substitution Attacks
机译:
SM2签名方案针对广义密钥替换攻击的安全性
作者:
Zhenfeng Zhang
;
Kang Yang
;
Jiang Zhang
;
Cheng Chen
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Digital signatures;
Key substitution attacks;
Provable security;
8.
Side Channel Cryptanalysis of Streebog
机译:
Streebog的旁通道密码分析
作者:
Gautham Sekar
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Cryptographic hash function;
Streebog;
Side channel cryptanalysis;
Carry flag;
Message recovery;
HMAC;
9.
Improving Air Interface User Privacy in Mobile Telephony
机译:
改善移动电话中的空中接口用户隐私
作者:
Mohammed Shafiul Alam Khan
;
Chris J. Mitchell
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Multiple IMSIs USIM;
Pseudonymity;
Mobile telephony;
User privacy;
10.
Generating Unlinkable IPv6 Addresses
机译:
生成不可链接的IPv6地址
作者:
Mwawi Nyirenda Kayuni
;
Mohammed Shafiul Alam Khan
;
Wanpeng Li
;
Chris J. Mitchell
;
Po-Wah Yau
会议名称:
《International conference on security standardisation research》
|
2015年
11.
A Practical Trust Framework: Assurance Levels Repackaged Through Analysis of Business Scenarios and Related Risks
机译:
实用的信任框架:通过对业务场景和相关风险的分析重新确定了保证级别
作者:
Masatoshi Hokino
;
Yuri Fujiki
;
Sakura Onda
;
Takeaki Kaneko
;
Natsuhiko Sakimura
;
Hiroyuki Sato
会议名称:
《International conference on security standardisation research》
|
2015年
12.
First Results of a Formal Analysis of the Network Time Security Specification
机译:
正式分析网络时间安全性规范的初步结果
作者:
Kristof Teichel
;
Dieter Sibold
;
Stefan Milius
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Time synchronization;
Security protocols;
Formal verification;
Model checking;
ProVerif;
13.
Formal Support for Standardizing Protocols with State
机译:
对国家标准化协议的正式支持
作者:
Joshua D. Guttman
;
Moses D. Liskov
;
John D. Ramsdell
;
Paul D. Rowe
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Protocol analysis tools;
Stateful protocols;
TPM;
PKCS #11;
14.
Preface
机译:
前言
作者:
Liqun Chen
;
Shinichiro Matsuo
会议名称:
《International conference on security standardisation research》
|
2015年
15.
Preface
机译:
前言
作者:
Liqun Chen
;
Shinichiro Matsuo
会议名称:
《International conference on security standardisation research》
|
2015年
16.
Side Channel Cryptanalysis of Streebog
机译:
STREEBG的侧通道Cryptantialsis
作者:
Gautham Sekar
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Cryptographic hash function;
Streebog;
Side channel cryptanalysis;
Carry flag;
Message recovery;
HMAC;
17.
Security of the SM2 Signature Scheme Against Generalized Key Substitution Attacks
机译:
SM2签名方案对广义关键替代攻击的安全性
作者:
Zhenfeng Zhang
;
Kang Yang
;
Jiang Zhang
;
Cheng Chen
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Digital signatures;
Key substitution attacks;
Provable security;
18.
Robust Authenticated Key Exchange Using Passwords and Identity-Based Signatures
机译:
使用密码和基于身份的签名强大的经过身份验证的密钥交换
作者:
Jung Yeon Hwang
;
Seung-Hyun Kim
;
Daeseon Choi
;
Seung-Hun Jin
;
Boyeon Song
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Authentication;
Password;
Identity-based signature;
Key exchange;
19.
Generating Unlinkable IPv6 Addresses
机译:
生成可解释的IPv6地址
作者:
Mwawi Nyirenda Kayuni
;
Mohammed Shafiul Alam Khan
;
Wanpeng Li
;
Chris J. Mitchell
;
Po-Wah Yau
会议名称:
《International conference on security standardisation research》
|
2015年
20.
Authenticated Key Exchange over Bitcoin
机译:
经过身份验证的Bitcoin密钥交换
作者:
Patrick McCorry
;
Siamak F. Shahandashti
;
Dylan Clarke
;
Feng Hao
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Authenticated key exchange;
Bitcoin;
Diffie-Hellman;
YAK;
21.
How to Manipulate Curve Standards: A White Paper for the Black Hat
机译:
如何操纵曲线标准:黑色帽子的白皮书
作者:
Daniel J. Bernstein
;
Tung Chou
;
Chitchanok Chuengsatiansup
;
Andreas Huelsing
;
Eran Lambooij
;
Tanja Lange
;
Ruben Niederhagen
;
Christine van Vredendaal
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Elliptic-curve cryptography;
Verifiably random curves;
Verifiably pseudorandom curves;
Minimal curves;
Nothing-up-my-sleeve numbers;
ANSI X9;
NIST;
SECG;
Brainpool;
Microsoft NUMS;
22.
Analysis of the PKCS#11 API Using the Maude-NPA Tool
机译:
使用Maude-NPA工具分析PKCS#11 API
作者:
Antonio Gonzalez-Burgueno
;
Sonia Santiago
;
Santiago Escobar
;
Catherine Meadows
;
Jose Meseguer
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
PKCS;
11;
Cryptographic application programming interfaces (cryptographic APIs);
Symbolic cryptographic protocol analysis;
Maude-NPA;
23.
Tap-Tap and Pay (TTP): Preventing the Mafia Attack in NFC Payment
机译:
点击 - 点击和支付(TTP):防止在NFC付款中的黑手党攻击
作者:
Maryam Mehrnezhad
;
Feng Hao
;
Siamak F. Shahandashti
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Near Field Communication;
Mobile NFC payment;
Mafia attack;
MITM attack;
Mobile sensor;
Accelerometer;
Security;
Usability;
24.
Non-repudiation Services for the MMS Protocol of IEC 61850
机译:
IEC 61850的MMS协议的非拒绝服务
作者:
Karl Christoph Ruland
;
Jochen Sassmannshausen
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Smart grid security;
IEC 61850;
MMS protocol;
ISO 9506;
IEC 62351;
Non-repudiation;
ISO 13888-3;
25.
A Practical Trust Framework: Assurance Levels Repackaged Through Analysis of Business Scenarios and Related Risks
机译:
一个实用的信任框架:通过分析业务场景和相关风险来重新包装保证水平
作者:
Masatoshi Hokino
;
Yuri Fujiki
;
Sakura Onda
;
Takeaki Kaneko
;
Natsuhiko Sakimura
;
Hiroyuki Sato
会议名称:
《International conference on security standardisation research》
|
2015年
26.
Formal Support for Standardizing Protocols with State
机译:
正式支持与国家标准化协议
作者:
Joshua D. Guttman
;
Moses D. Liskov
;
John D. Ramsdell
;
Paul D. Rowe
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Protocol analysis tools;
Stateful protocols;
TPM;
PKCS;
11;
27.
Improving Air Interface User Privacy in Mobile Telephony
机译:
在移动电话中提高空中接口用户隐私
作者:
Mohammed Shafiul Alam Khan
;
Chris J. Mitchell
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Multiple IMSIs USIM;
Pseudonymity;
Mobile telephony;
User privacy;
28.
First Results of a Formal Analysis of the Network Time Security Specification
机译:
第一个正式分析网络时间安全规范的结果
作者:
Kristof Teichel
;
Dieter Sibold
;
Stefan Milius
会议名称:
《International conference on security standardisation research》
|
2015年
关键词:
Time synchronization;
Security protocols;
Formal verification;
Model checking;
ProVerif;
意见反馈
回到顶部
回到首页