徐静女博导软件研究所 招生专业 083900-网络空间安全 招生方向 密码学与安全协议 可信计算与信息保障 工作简历 2014-03~现在,中国科学院软件研究所,研究员,博士生导师 2011-10~2014-03,中国科学院信息工程研究所,研究员,博士生导师 2008-08~2011-10,中国科学院软件研究所,副研究员,硕士生导师 2005-04~2008-08,中国科学院研究生院,副教授,硕士生导师 2003-03~2005-04,中国科学院研究生院,博士后

发表著作 （1）网络安全原理与技术，NetworkSecurityPrincipleandTechnology，科学出版社，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 （7）基于格的抗量子计算公钥密码理论与技术研究,参与,国家级,2016-01--2019-12

应用密码学、安全协议

2014-05-01-2018-05-01,中国密码学会安全协议专业委员会,委员 2014-05-01-2018-05-01,中国密码学会青年工作委员会,委员

（1）InvestigatingtheMulti-CiphersuiteandBackwards-CompatibilitySecurityoftheUpcomingTLS1.3,IEEETransactionsonDependableandSecureComputing,2019,第2作者 （2）RevisitingtheSecurityofQianetal.RevisedTree-LSHB+Protocol,WirelessPersonalCommunications,2019,第2作者 （3）GenericTraceableProxyRe-EncryptionandAccountableExtensioninConsensusNetwork,ESORICS,2019,通讯作者 （4）2.AccountableProxyRe-EncryptionforSecureDataSharing,IEEETransactionsonDependableandSecureComputing,2018,通讯作者 （5）Non-transferableProxyRe-encryption,TheComputerJournal,2018,第3作者 （6）Universallycomposableanonymouspasswordauthenticatedkeyexchange,SCIENCECHINAInformationSciences,2017,第4作者 （7）MultipleHandshakesSecurityofTLS1.3Candidates,IEEES&P,Oakland,2016,通讯作者 （8）One-RoundCross-DomainGroupKeyExchangeProtocolintheStandardModel,Inscrypt2016,2016,通讯作者 （9）Round-OptimalPassword-basedGroupKeyExchangeProtocolsintheStandardModel,13thInternationalConferenceonAppliedCryptographyandNetworkSecurity,2015,第1作者 （10）CertificatelessProxyRe-EncryptionwithoutPairings,ICISC,2013,第2作者 （11）IdentityBasedStrongDesignatedVerifierSignatureSchemeWithoutPairing,SecurityandCommunicationNetworks,2013,第2作者 （12）AGenericFrameworkforAnonymousAuthenticationinMobileNetworks,JournalofComputerScienceandTechnology,2013,第1作者 （13）CommentsontheSM2KeyExchangeProtocol,InternationalConferenceonCryptographyandNetworkSecurity,2011,第1作者 （14）ASmartCardBasedGenericConstructionforAnonymousAuthenticationinMobileNetworks,InternationalConferenceonSecurityandCryptography,2011,第1作者 （15）AnEfficientMutualAuthenticationandKeyAgreementProtocolPreservingUserAnonymityinMobileNetworks,ComputerCommunications,2011,第1作者 （16）ProvableSecureAuthenticationProtocolwithAnonymityforRoamingServiceinGlobalMobilityNetworks,ComputerNetworks,2011,第2作者 （17）GenericConstructionsforStrongDesignatedVerifierSignature,JournalofInformationProcessingSystems,2011,第2作者 （18）AnEfficientLocation-BasedCompromise-TolerantKeyManagementSchemeforSensorNetworks,InformationProcessingLetters,2011,第2作者 （19）AGenericFrameworkforConstructingCross-RealmC2C-PAKAProtocolsBasedontheSmartCard,ConcurrencyandComputation:PracticeandExperience,2011,第1作者 （20）AnEfficientandProvablySecureCross-RealmC2C-PAKAprotocolWithSmartCards,InternationalConferenceonCryptologyandNetworkSecurity,2009,第2作者 （21）AnImprovedSmartCardBasedPasswordAuthenticationSchemewithProvableSecurity,ComputerStandardsInterfaces,2009,第1作者 （22）SecurityFlawsinAuthenticationProtocolswithAnonymityforWirelessEnvironments,ETRIJournal,2009,第1作者