您的位置： 专家智库 > >

陈玉涛

作品数：1 被引量：1H指数：1
供职机构：陕西财经职业技术学院更多>>
相关领域：电子电信更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇电子电信

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇逻辑
  • 1篇密码
  • 1篇密码协议
  • 1篇简单逻辑

机构

  • 1篇陕西财经职业...

作者

  • 1篇贾步忠
  • 1篇陈玉涛

传媒

  • 1篇电子科技

年份

  • 1篇2005
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种用于密码协议形式化验证的简单逻辑被引量：1
2005年
给出了一个可用于密码协议形式化验证与设计的简单逻辑。该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理。
陈玉涛贾步忠
关键词：密码协议形式化验证
全选 清除 导出
共1页<1>
聚类工具0