邵飞

作品数：2被引量：4H指数：1
导出分析报告
供职机构：中南民族大学计算机科学学院更多>>
发文主题：形式化攻击性拒绝服务攻击拒绝服务MRP更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《现代电子技术》《通信学报》更多>>
所获基金：国家自然科学基金武汉市科技型中小企业技术创新基金中南民族大学自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
协议抗拒绝服务攻击性自动化证明被引量：4
《通信学报》2012年第3期112-121,共10页孟博 黄伟 王德军 邵飞 
国家民委基金资助项目(10ZN09);国家自然科学基金资助项目(60603008);中南民族大学自然科学基金资助项目(YZZ09008);武汉市科技型中小企业技术创新基金资助项目(SZY11008)~~
首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服务攻击性进行建模,提出一个基于定理证明支持一阶定理证明器ProVerif的抗拒绝服务攻击性自动化证明方法,...
关键词：拒绝服务攻击 形式化 自动化证明 协议状态 
基于JIT动态适应交货期要求的MRP优化算法
《现代电子技术》2009年第18期113-116,共4页邵飞 孟博 
国家自然科学基金资助项目(60603008)
为了更好地利用企业资源,面向订单的单件小批量生产物料需求计划,对于企业建立一套有效的物料管理与生产计划机制,进而动态适应交货期有着十分重要的意义。它首先对物料需求计划系统进行研究,然后对基于JIT与OPT模式的MRP算法进行详细...
关键词：动态适应交货期 物料需求计划 准时化生产 可视化 递归算法 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部