基于PKI的强认证密钥交换:模型、协议构造和分析:security

本书首先介绍认证密钥交换协议相关的各种攻击方式的模拟方法以及新型目标的形式化定义。同时，本书将介绍现有强认证密钥交换协议存在的问题，以及相应的攻击和方案。在此基础上，本书拟针对标准模型下的强认证密钥交换协议存在的难以构建、性能低下等问题，提出新型协议构建方法与性能优化关键技术。

杨铮，2013年获得德国波鸿鲁尔大学工学博士学位，2021年起担任西南大学计算机与信息科学学院（软件学院）特聘教授、硕士生导师。曾任芬兰赫尔辛基大学、科学与设计大学博士后研究员。主要研究方向为密码学、工业互联网、区块链、隐私保护、大数据等。先后主持和主研了国家自然科学基金、重庆市自然科学基金20项科研项目。目前已经在INFOCOM,ACSAC，ESORICS,PKC, Euro S&P, AsiaCCS,CT-RSA,ACNS，IEEE Transactions onIndustrial Informatics，ACMTransactions on Sensor Networks 等国内外高学术会议和期刊上录用和发表学术论文50余篇。并获国家发明专利授权3项，且先后担任20余个国际学术期刊审稿人和国际学术会议委员。