基本信息

徐静 女 博导 软件研究所
电子邮件:xujing@tca.iscas.ac.cn
通信地址:北京市海淀区中关村南四街4号可信计算与信息保障实验室
邮政编码:100190

研究领域

应用密码学、安全协议

招生信息

   
招生专业
083900-网络空间安全
招生方向
密码学与安全协议
可信计算与信息保障

教育背景

   
学历
-- 研究生
学位
-- 博士

工作经历


工作简历
2014-03~现在, 中国科学院软件研究所, 研究员
2011-10~2014-03,中国科学院信息工程研究所, 研究员
2008-08~2011-10,中国科学院软件研究所, 副研究员
2005-04~2008-08,中国科学院研究生院, 副教授
2003-03~2005-04,中国科学院研究生院, 博士后
社会兼职
2014-05-01-2018-05-01,中国密码学会安全协议专业委员会, 委员
2014-05-01-2018-05-01,中国密码学会青年工作委员会, 委员

出版信息

   
发表论文
(1) Investigating the Multi-Ciphersuite and Backwards-Compatibility Security of the Upcoming TLS 1.3, IEEE Transactions on Dependable and Secure Computing, 2017, 通讯作者
(2) Universally composable anonymous password authenticated key exchange, SCIENCE CHINA Information Sciences, 2017, 第 4 作者
(3) Multiple Handshakes Security of TLS 1.3 Candidates, IEEE S&P, Oakland, 2016, 通讯作者
(4) One-Round Cross-Domain Group Key Exchange Protocol in the Standard Model, Inscrypt 2016, 2016, 通讯作者
(5) Round-Optimal Password-based Group Key Exchange Protocols in the Standard Model, 13th International Conference on Applied Cryptography and Network Security , 2015, 第 1 作者
(6) Certificateless Proxy Re-Encryption without Pairings, ICISC, 2013, 第 2 作者
(7) Identity Based Strong Designated Verifier Signature Scheme Without Pairing, Security and Communication Networks, 2013, 第 2 作者
(8) A Generic Framework for Anonymous Authentication in Mobile Networks, Journal of Computer Science and Technology , 2013, 第 1 作者
(9) Comments on the SM2 Key Exchange Protocol, International Conference on Cryptography and Network Security , 2011, 第 1 作者
(10) A Smart Card Based Generic Construction for Anonymous Authentication in Mobile Networks, International Conference on Security and Cryptography , 2011, 第 1 作者
(11) An Efficient Mutual Authentication and Key Agreement Protocol Preserving User Anonymity in Mobile Networks, Computer Communications, 2011, 第 1 作者
(12) Provable Secure Authentication Protocol with Anonymity for Roaming Service in Global Mobility Networks, Computer Networks, 2011, 第 2 作者
(13) Generic Constructions for Strong Designated Verifier Signature, Journal of Information Processing Systems, 2011, 第 2 作者
(14) An Efficient Location-Based Compromise-Tolerant Key Management Scheme for Sensor Networks, Information Processing Letters, 2011, 第 2 作者
(15) A Generic Framework for Constructing Cross-Realm C2C-PAKA Protocols Based on the Smart Card, Concurrency and Computation: Practice and Experience, 2011, 第 1 作者
(16) An Efficient and Provably Secure Cross-Realm C2C-PAKA protocol With Smart Cards, International Conference on Cryptology and Network Security , 2009, 第 2 作者
(17) An Improved Smart Card Based Password Authentication Scheme with Provable Security, Computer Standards Interfaces, 2009, 第 1 作者
(18) Security Flaws in Authentication Protocols with Anonymity for Wireless Environments, ETRI Journal, 2009, 第 1 作者
发表著作
(1) 网络安全原理与技术,Network Security Principle and Technology,科学出版社,2010-09,第2作者

科研活动

   
科研项目
( 1 ) 无线传感器网络密钥管理协议研究, 主持, 国家级, 2012-01--2015-12
( 2 ) 国家重点基础研究发展计划, 参与, 国家级, 2013-01--2017-12
( 3 ) 匿名认证协议的设计理论与分析方法研究, 主持, 国家级, 2016-01--2019-12
( 4 ) 无线网络认证密钥交换协议研究, 主持, 国家级, 2009-01--2011-12
( 5 ) 无线传感器网络密钥管理协议设计理论与分析方法研究, 主持, 研究所(学校), 2012-06--2013-12
( 6 ) 认证中间件框架与接口规范, 主持, 国家级, 2010-02--2011-12