您的位置： 专家智库 > >

湖州市自然科学基金(2005YZ09)

作品数：1 被引量：9H指数：1
相关作者：顾永跟傅育熙更多>>
相关机构：上海交通大学湖州师范学院更多>>
发文基金：湖州市自然科学基金国家自然科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇形式化
  • 1篇形式化分析
  • 1篇知识推理
  • 1篇安全协议

机构

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

作者

  • 1篇傅育熙
  • 1篇顾永跟

传媒

  • 1篇计算机研究与...

年份

  • 1篇2006
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于进程演算和知识推理的安全协议形式化分析被引量：9
2006年
安全协议的形式化分析是当前安全协议研究的热点,如何扩充现在已经成熟的理论和方法去研究更多的安全性质,使同一系统中各种安全性质在统一的框架下进行分析和验证是一个亟待解决的问题.进程演算是一强有力的并发系统建模工具,而结合知识推理可以弥补进程演算固有的缺乏数据结构支持的特点,以此提出了一个安全协议形式化分析的一般模型.基于此模型,形式化地定义了一些安全性质,给出了一个实例研究,并指出了进一步完善此模型的研究方向.
顾永跟傅育熙
关键词：知识推理安全协议形式化分析
全选 清除 导出
共1页<1>
聚类工具0