基于随机模型检测的网络脆弱性分析研究
结题报告
批准号：
60573144
项目类别：
面上项目
资助金额：
5.0 万元
负责人：
林闯
依托单位：
清华大学
学科分类：
F0204.计算机系统结构与硬件技术
结题年份：
2006
批准年份：
2005
项目状态：
已结题
项目参与者：
蒋屹新、封富君、王元卓、陈治佳、岳峣、邱锋、李彦希
关键词：
随机模型（Stochastic脆弱性分析（VulnerabilityAnalysis）
国基评审专家1V1指导 中标率高出同行96.8%
结合最新热点，提供专业选题建议
深度指导申报书撰写，确保创新可行
指导项目中标800+，快速提高中标率
客服二维码
微信扫码咨询
中文摘要
网络中的安全问题主要来自于系统中固有存在的脆弱性。当前，脆弱性分析正在由基于规则向基于模型的方向发展。然已有的模型主要是进行定性分析，而非定量分析。本项目将在基于规则的方法基础上，引入随机模型，研究基于随机模型检测的网络脆弱性的量化评估方法，主要包括基础理论和应用的研究。前者研究基于Petri网的随机模型检测及其模型简化求解技术。后者则研究如何利用这些理论有效地对网络脆弱性进行量化评估，其主要包括
英文摘要
期刊论文列表
专著列表
科研奖励列表
会议论文列表
专利列表
Multiple key Sharing and Distr
多密钥共享与分发
DOI：--
发表时间：--
期刊：
影响因子：--
作者：Yixin Jiang, Chuang Lin, Xuemi
通讯作者：Yixin Jiang, Chuang Lin, Xuemi
Self-healing Group Key Distrib
自愈组密钥分配
DOI：--
发表时间：--
期刊：
影响因子：--
作者：Yixin Jiang, Chuang Lin, Xuemi
通讯作者：Yixin Jiang, Chuang Lin, Xuemi
含有否定命题逻辑推理的一致性模
DOI：--
发表时间：--
期刊：电子学报，November 2006, 34(11): 1955-1960.
影响因子：--
作者：汪洋;林闯;曲扬;李雅娟
通讯作者：李雅娟
Mutual Authentication and Key
相互认证和密钥
DOI：--
发表时间：--
期刊：
影响因子：--
作者：
通讯作者：
Research on Network Architectu
网络架构研究
DOI：--
发表时间：--
期刊：
影响因子：--
作者：Chuang Lin, Xuehai Peng
通讯作者：Chuang Lin, Xuehai Peng
基于随机Petri网的大数据计算模式的模型与评价
  • 批准号：
    61472199
  • 项目类别：
    面上项目
  • 资助金额：
    87.0万元
  • 批准年份：
    2014
  • 负责人：
    林闯
  • 依托单位：
    清华大学
无线自组织网络安全特性基础理论研究
  • 批准号：
    60932003
  • 项目类别：
    重点项目
  • 资助金额：
    190.0万元
  • 批准年份：
    2009
  • 负责人：
    林闯
  • 依托单位：
    清华大学
基于随机Petri网的网络可生存性模型与分析方法
  • 批准号：
    60673187
  • 项目类别：
    面上项目
  • 资助金额：
    26.0万元
  • 批准年份：
    2006
  • 负责人：
    林闯
  • 依托单位：
    清华大学
网络计算环境下资源组织与管理的基础理论研究
  • 批准号：
    90412012
  • 项目类别：
    重大研究计划
  • 资助金额：
    200.0万元
  • 批准年份：
    2004
  • 负责人：
    林闯
  • 依托单位：
    清华大学
时段时序逻辑的Petri网模型
  • 批准号：
    60173012
  • 项目类别：
    面上项目
  • 资助金额：
    21.0万元
  • 批准年份：
    2001
  • 负责人：
    林闯
  • 依托单位：
    清华大学
国内基金
海外基金