首页 | 机构设置 | 通知公告 | 科技动态 | 科技成果 | 科技产业 | 科研平台 | 学术交流 | 政策法规 | 下载中心 | 办事指南 
  当前位置:文章正文  
兰州理工大学计算机与通信学院冯涛教授学术报告会
2019-08-15 00:04  

报告题目工控协议的形式化新方法和安全评估模型关键技术

报 告 人冯涛  教授

地    点求本楼B403  计算机学院学术报告厅

时    间:815日  上午10:00

 

报告简介

形式化模型是协议分析和改进的重要基础有必要设计出一种描述工业以太网协议的形式化模型;D-Y攻击者模型是协议安全分析的主要方法根据该模型开展工业以太网安全评估新模型研究分析协议存在的漏洞为协议安全改进提供依据协议安全改进是提升工业控制系统安全性的根本途径有必要基于安全评估的结果对协议进行密码学改造解决的关键问题包括如何重构工业控制系统协议的防护模型如何构建协议形式化的HCPN层次模型如何改进D-Y攻击者模型如何构建协议安全评估模型如何改进协议的安全性结论提出的相关模型与方法从中间人攻击角度出发对协议传输的关键命令数据进行细粒度模型分析能够对其他工业协议进行相似的建模评估具有一定的普适性且该方法与攻击图攻击树方法相比能够给出精确的非预期协议状态而不是仅给出风险系数与端口扫描白名单方式相比能够发现检测规则以外的具备专业知识的威胁与模糊测试评估方法相比能够避免对实际系统造成影响

 

报告人简介

    冯涛教授博士生导师兰州理工大学计算机与通信学院院长西安电子科技大学计算机系统结构专业工学博士学位新加坡管理大学信息安全实验室访问学者现任兰州理工大学网络空间安全学科带头人甘肃省高校协同创新科技团队网络与信息安全科技创新团队负责人甘肃省互联网协会副理事长,《网络与信息安全学报编委中文信息协会大数据安全与隐私保护专业委员会委员曾任CCF兰州分部主席主要从事工业互联网互联互通关键技术实现安全中间件设计与实现通信协议安全分析与设计网络空间应用系统的设计与实现网络空间系统隐私保护等主持国家自然科学基金面上项目3主持省级科研项目3主持横向科研项目4获国家发明专利2软件著作权1在中国科学(E/F)软件学报电子学报计算机研究与发展通信学报电子与信息学报、Journal on Wireless Communications and Networking、IEEE Access、Security and Communication Networks、International Journal of Communication Systems、International Journal of Network Security等计算机类重要学术期刊与学术会议上共发表论文70多篇其中SCI/EI检索60余篇

 

关闭窗口

版权所有 ©   安徽理工大学自然科学处        管理入口
地址:安徽省淮南市泰丰大街168号   邮编:232001   电话:0554-6668024(8024) 电子邮箱:kyc@aust.edu.cn