杨芳

作品数：1被引量：1H指数：1
导出分析报告
供职机构：湖南医药学院图书馆更多>>
发文主题：OTWAY-REES协议安全协议验证安全协议形式化攻击者更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-1
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
安全协议验证中DY模型的构建框架被引量：1
《福建工程学院学报》2015年第3期239-243,共5页唐郑熠 杨芳 薛醒思 
福建省中青年教师教育科研项目(JB14069);福建工程学院科研启动基金项目(GY-Z13112)
攻击者建模是安全协议验证工作的一个重要部分,直接影响到验证的效率与质量,但目前却还没有一个可遵循的形式化框架,影响了建模工作的准确性与客观性。针对这一问题,通过对在安全协议验证中具有广泛影响的DY模型进行形式化,建立了一个D...
关键词：安全协议 形式化 DY模型 攻击者 OTWAY-REES协议 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部