当前位置：
数字出版物超市 >> 
网络信息安全协议的形式化分析和验证研究
网络信息安全协议的形式化分析和验证研究
【项目名称】 网络信息安全协议的形式化分析和验证研究
【项目编号】 60473024
【项目目标】
【项目关键词】 网络信息安全 验证研究 描述符 形式化分析 分类器 图像分类 MPEG-7 最短路径分析 模糊神经网络 视觉 城市风 栅格法 反向传播 风景 近邻分类 支持矢量机 海滩 性能改善 基于内容 机器学习 分类方法 网络分析系统 存储点 特征提取 占用空间 地理信息系统 小容量 分类试验 聚
【项目承办单位】 浙江工业大学;
【项目负责人】 王卫红;
【项目来源】 国家自然科学基金项目
【涉及学科】 计算机软件及计算机应用
【科研经费】 23万
【所属大项目】
【项目参与研究人员】
    【项目参与研究机构】
    【项目成果摘要】
    【发布单位】 国家自然科学基金委员会
    【发布时间】 2004-01-04
    【申请截止时间】 2004-03-31
    【立项时间】 2005-01
    【完成时间】 2007-12
    【申请条件】
    【联系方式】
    【项目信息来源】 https://isis.nsfc.gov.cn/portal/proj_search.asp
    加载本项目科研成果产出报表....
    加载本项目科研成果....
    加载项目负责人以往科研成果....
    加载同类科研项目成果比较....
    加载本项目科研成果引证文献....
    加载学术文献....
    加载所属大项目下的其它项目....
    加载相关研究人员....
    加载相关研究机构....