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

研究领域应用密码学、安全协议

招生信息

招生专业 信息安全
计算机应用技术


招生方向 密码学与安全协议
可信计算与信息保障

教育背景

学历-- 研究生


学位-- 博士

工作经历

工作简历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） Multiple Handshakes Security of TLS 1.3 Candidates, IEEE S&P, 2016, 通讯作者
（2） Round-Optimal Password-based Group Key Exchange Protocols in the Standard Model, 13th International Conference on Applied Cryptography and Network Security , 2015, 第 1 作者
（3） Certificateless Proxy Re-Encryption without Pairings, ICISC, 2013, 第 2 作者
（4） Identity Based Strong Designated Verifier Signature Scheme Without Pairing, Security and Communication Networks, 2013, 第 2 作者
（5） A Generic Framework for Anonymous Authentication in Mobile Networks, Journal of Computer Science and Technology , 2013, 第 1 作者
（6） Comments on the SM2 Key Exchange Protocol, International Conference on Cryptography and Network Security , 2011, 第 1 作者
（7） A Smart Card Based Generic Construction for Anonymous Authentication in Mobile Networks, International Conference on Security and Cryptography , 2011, 第 1 作者
（8） An Efficient Mutual Authentication and Key Agreement Protocol Preserving User Anonymity in Mobile Networks, Computer Communications, 2011, 第 1 作者
（9） Provable Secure Authentication Protocol with Anonymity for Roaming Service in Global Mobility Networks, Computer Networks, 2011, 第 2 作者
（10） Generic Constructions for Strong Designated Verifier Signature, Journal of Information Processing Systems, 2011, 第 2 作者
（11） An Efficient Location-Based Compromise-Tolerant Key Management Scheme for Sensor Networks, Information Processing Letters, 2011, 第 2 作者
（12） A Generic Framework for Constructing Cross-Realm C2C-PAKA Protocols Based on the Smart Card, Concurrency and Computation: Practice and Experience, 2011, 第 1 作者
（13） An Efficient and Provably Secure Cross-Realm C2C-PAKA protocol With Smart Cards, International Conference on Cryptology and Network Security , 2009, 第 2 作者
（14） An Improved Smart Card Based Password Authentication Scheme with Provable Security, Computer StandardsInterfaces, 2009, 第 1 作者
（15） 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