信息安全国家重点实验室 第四届安全协议研讨会
通 告
中国科学院软件研究所, 信息安全国家重点实验室, 第四届安全协议研讨会将于2009年6月13日举行. 会议毋须注册费, 食宿自理. 对注册人员提供午餐.
会议地点: 北京中关村南四街四号, 中国科学院软件研究所, 5号楼裙楼5层报告厅
会议时间: 6月13日, 8:30-16:00
联系电话: 62661700
欢迎参加
信息安全国家重点实验室
2009年6月3日
|
时 间 |
报 告 题 目 |
报 告 人 |
|
8:30-9:00 |
(免费)注册 |
|
|
9:00－9:30 |
The Three-Party Password Authenticated Key Exchange Protocol with Stronger Security |
Xiaofei Ding |
|
9:30－10:00 |
一种安全协议注入攻击序列自动化搜索算法 |
韩进 |
|
10:00－10:30 |
A Novel AKE Protocol Provably Secure |
Xuexian Hu |
|
10:30－11:00 |
休 息 |
|
11:00－11:30 |
Round-Optimal Zero-Knowledge Proofs of Knowledge for NP |
李红达 |
|
11:30－12:00 |
基于SVO逻辑和攻击者行为能力的协议分析 |
刘志猛 |
|
12:00－13:00 |
午 饭 |
|
13:00－13:30 |
Stronger Provable Secure Model for Key Exchange |
Ren Yongjun |
|
13:30－14:00 |
A New Threshold Authenticated Encryption Scheme Using Labor-division Signature |
TAN Zuo-Wen |
|
14:00－14:30 |
Identity-based multi-signcryption scheme without random oracles |
ZHANG Bo |
|
14:30－15:00 |
休 息 |
|
15:00－15:30 |
On Password-based Key Exchange with Enhanced Security |
张振峰 |
|
15:30－16:00 |
Provable Secure Authentication Protocol with Anonymity for Roaming Service in Global Mobility Networks |
徐 静 |
|
16:00－16:30 |
Injective Trapdoor Functions are Necessary and Sufficient for CCA2 Secure Public-Key Cryptosystems in Random Oracle Model |
薛 锐 |
|
