课题基金基金详情
区块链服务网络可验证计算安全协议的形式化建模及关键技术研究
批准号：
62162039
项目类别：
地区科学基金项目
资助金额：
36 万元
负责人：
冯涛
依托单位：
兰州理工大学
学科分类：
F0206.信息安全
结题年份：
--
批准年份：
2021
项目状态：
未结题
项目参与者：
冯涛
关键词：
区块链服务网络关键技术研究计算安全协议建模
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
工业控制网络协议形式化建模及其安全评估
  • 批准号：
    61762060
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    38.0万元
  • 批准年份：
    2017
  • 负责人：
    冯涛
  • 依托单位：
    兰州理工大学
可证明的网络和数据匿名性及隐私增强身份管理关键技术研究
  • 批准号：
    61462060
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    44.0万元
  • 批准年份：
    2014
  • 负责人：
    冯涛
  • 依托单位：
    兰州理工大学
无线网络路由协议的可证安全设计与自动化安全分析方法研究
  • 批准号：
    60972078
  • 项目类别：
    面上项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2009
  • 负责人：
    冯涛
  • 依托单位：
    兰州理工大学
国内基金
海外基金