您的位置： 专家智库 > >

庄庆

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇认证性
  • 1篇时序逻辑
  • 1篇线性时序逻辑
  • 1篇安全协议
  • 1篇保密
  • 1篇保密性

机构

  • 1篇上海交通大学

作者

  • 1篇戚正伟
  • 1篇董笑菊
  • 1篇蔡小娟
  • 1篇庄庆

传媒

  • 1篇计算机工程

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于GSPM的安全协议检验工具被引量：1
2008年
介绍一个基于GSPM的安全协议验证的图形化工具。验证工具以GSPM模型为基础形式化地描述了安全协议,并引进线性时序逻辑刻画了安全协议的性质,用基于状态搜索的模型检测方法在安全协议的验证过程中找出漏洞。以简化的NSPK协议为例,描述了该工具如何验证安全协议,表明GSPM模型和验证算法的有效性和正确性。
庄庆蔡小娟董笑菊戚正伟
关键词：线性时序逻辑安全协议保密性认证性
全选 清除 导出
共1页<1>
聚类工具0