课题基金 / 基金详情

工业控制系统信息安全防护的形式化分析与验证

批准号：
62320106005
项目类别：
国际(地区)合作与交流项目
资助金额：
212 万元
负责人：
周纯杰
依托单位：
华中科技大学
学科分类：
信息安全
结题年份：
--
批准年份：
2023
项目状态：
未结题
项目参与者：
周纯杰
关键词：
分析与验证工业控制系统信息安全防护形式化

周纯杰的其他基金

相似基金

相关文献

面向石油炼化装置的攻击检测及动态安全失效分析仪器
  • 批准号：
    62127808
  • 项目类别：
    国家重大科研仪器研制项目
  • 资助金额：
    816.8万元
  • 批准年份：
    2021
  • 负责人：
    周纯杰
  • 依托单位：
    华中科技大学
云计算环境下工业信息物理系统主动入侵反应关键技术及应用研究
  • 批准号：
    61873103
  • 项目类别：
    面上项目
  • 资助金额：
    66.0万元
  • 批准年份：
    2018
  • 负责人：
    周纯杰
  • 依托单位：
    华中科技大学
容忍入侵的工业控制系统信息安全防护的基础理论与关键技术
  • 批准号：
    61433006
  • 项目类别：
    重点项目
  • 资助金额：
    350.0万元
  • 批准年份：
    2014
  • 负责人：
    周纯杰
  • 依托单位：
    华中科技大学
容忍入侵的信息物理融合系统安全策略优化与实时控制方法
  • 批准号：
    61272204
  • 项目类别：
    面上项目
  • 资助金额：
    81.0万元
  • 批准年份：
    2012
  • 负责人：
    周纯杰
  • 依托单位：
    华中科技大学
国内基金
海外基金