PROMELA

作品数：43被引量：73H指数：5
导出分析报告
相关作者：李祥吴尽昭黄志球唐郑熠孙守卿更多>>
相关机构：贵州大学南京航空航天大学南昌大学北京交通大学更多>>
相关期刊：《计算机技术与发展》《电脑编程技巧与维护》《计算机与数字工程》《计算机与现代化》更多>>
相关基金：国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机技术与发展x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于连续ARQ协议的隐蔽洪水攻击
《计算机技术与发展》2012年第10期177-180,共4页赵梦龙 唐郑熠 
美国GeneChiu基金(GFC2006-001)
通信协议设计时的疏漏很容易造成严重的后果,因此有必要采用形式化的方法来保证协议的安全性和可靠性。模型检测是一种具有工业应用前景的形式化分析方法,并具有很高的自动化程度,适合于协议的分析与验证。文中采用模型检测工具SPIN对连...
关键词：连续ARQ协议 洪水攻击 模型检测 SPIN PROMELA 
针对A(0)协议的新鲜性攻击及改进方案被引量：3
《计算机技术与发展》2009年第10期164-166,共3页唐郑熠 李均涛 李祥 
美国GeneChiu基金资助项目(GFC2006-001)
非形式化方法很难保证认证协议的安全性,因此对于形式化方法的研究与应用具有重要的意义,模型检测技术就是其中的一种。该文介绍了使用模型检测工具SPIN和Promela语言对A(0)协议进行建模检测的方法,并从检测结果中发现了A(0)协议无法保...
关键词：A(0) 新鲜性 协议攻击 模型检测 SPIN PROMELA 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部