应西北师范大学计算机科学与工程学院邀请，冯涛研究员将在线为我校师生做学术报告，具体事宜公告如下：

报告题目：区块链服务网络可验证计算安全协议的形式化建模及关键技术研究

报告人：冯涛，兰州理工大学

报告地点：腾讯会议（会议ID：333-203-228）

报告时间：2022年10月21日14:30

主持人：刘雪艳，计算机科学与工程学院 副教授

届时欢迎广大师生在线参与交流！

【报告摘要】

面对区块链服务网络存在的安全和隐私方面的严峻挑战，首先针对区块链服务网络可验证计算安全协议的研究缺乏系统的形式化建模，提出适用于区块链服务网络的可验证计算安全协议形式化描述模型及定义；其次，针对不同服务、不同信息系统对区块链性能、功能、安全性和隐私保护的需求，提出适用于区块链服务网络多应用场景下的可验证计算安全协议；最后，研究基于区块链服务网络可验证计算安全协议的安全评估方法，更加准确高效和完备的评价区块链服务网络可验证计算安全协议，并利用安全评估方法对所提可验证安全协议的功能性、安全性和隐私保护进行验证。研究成果可为学术界和产业界提供较好的研究思路和安全解决方案。

【报告人简介】

    冯涛，博士、研究员、博士生导师。西安电子科技大学计算机系统结构专业工学博士，新加坡管理大学信息安全实验室访问学者。现任兰州理工大学计算机与通信学院院长，计算机科学与技术国家级一流专业负责人，计算机科学与技术甘肃省省级重点学科负责人，甘肃省高校协同创新科技团队“网络与信息安全科技创新团队”负责人，甘肃省互联网协会副理事长，甘肃省商用密码行业协会副会长，中国网络安全协会、中国计算机学会会刊“网络与信息安全学报”编委，西安电子科技大学出版社“网络空间安全专业系列教材编审专家委员会”编委，兰州CCF分部主席（2018-2020）。目前主要从事网络空间安全、区块链、工业互联网领域的基础理论和关键技术研究，主要涉及协议安全形式化分析与设计、网络化控制系统安全检测和评估、网络空间应用系统的安全设计与实现、网络空间系统隐私保护、工业互联网互联互通安全关键技术、区块链安全中间件设计与实现等。主持国家自然基金 4 项，参与 863 计划项目、国家自然基金 5 项、主持其它类项目 30 多项。获甘肃省“第九届高校教师成才奖”，甘肃省教学成果一等奖，甘肃省科技进步三等奖、甘肃省自然科学三等奖各一项。授权国家发明专利10项，发表论文 SCI 检索、EI 检索 100 余篇。