您的位置： 专家智库 > >

朱涵

作品数：2 被引量：7H指数：1
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家杰出青年科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...

主题

  • 2篇安全协议
  • 1篇形式化
  • 1篇形式化分析
  • 1篇PROGRA...
  • 1篇STATE
  • 1篇EXPLOR...
  • 1篇EQUIVA...

机构

  • 2篇上海交通大学
  • 1篇贵州大学
  • 1篇湖州师范学院

作者

  • 2篇傅育熙
  • 2篇顾永跟
  • 2篇朱涵
  • 1篇吕银华

传媒

  • 1篇计算机学报

年份

  • 1篇2007
  • 1篇2005
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于可达关系的安全协议保密性分析被引量：7
2007年
借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.
顾永跟傅育熙朱涵
关键词：安全协议
基于进程演算的安全协议形式化分析
＜正＞ 1 引言安全协议的设计与分析很容易出错,许多发表并使用了很长时间的协议最后被发现是有漏洞的。形式化方法已被证明是一种非常有效的重要手段。近二十年来,世界各国学者对安全协议的设计和分析进行了较为广泛和深入的研究,尤...
顾永跟傅育熙朱涵吕银华
关键词：PROGRAM
文献传递
全选 清除 导出
共1页<1>
聚类工具0