使用构造类别代数描述和验证密码协议

您当前的位置：

首页 >

文章列表页 >

使用构造类别代数描述和验证密码协议

更新时间：2024-10-14

|

- 使用构造类别代数描述和验证密码协议
- 暂无标题
- 通信学报 2004年第3期页码：91-96
- 作者机构：
  
  1. 中国科技大学计算机科学与技术系
  2. 中国科技大学计算机科学与技术系安徽合肥230027
- 作者简介：
- 基金信息：
  
  自然科学基金重大计划资助项目（90104010）;自然科学基金科学部主任基金资助项目（60241004）;教育部博士点基金项目（2000035802）;国家“973”计划项目（2003-7）;国家“863”基金资助项目（2001AA112062和2001AA121016）;中国科学院院长基金特别支持资助项目(院基计字90
- DOI：
  中图分类号： TN918.1
- 纸质出版日期：2004
- 稿件说明：
移动端阅览
[1]刘政,赵保华,屈玉贵.使用构造类别代数描述和验证密码协议[J].通信学报,2004(03):91-96.
[1]刘政,赵保华,屈玉贵.使用构造类别代数描述和验证密码协议[J].通信学报,2004(03):91-96. DOI：

DOI：

摘要

密码协议必须满足安全属性的需求

对密码协议进行形式化规范需要证明其满足该属性。传统的方法或者不利于验证

或者不利于描述。本文在构造类别代数中引入时序算子

对密码协议以及协议的入侵者进行建模

在此基础上利用时序逻辑推导协议应该满足的安全属性。通过在Equicrpt协议上的应用

说明了这是一种解决密码协议描述和验证的行之有效的方法。

Abstract

关键词

Keywords

references

0

浏览量

68

下载量

1

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

相关文章

TCP安全框架的研究

口令认证方案的安全性改进及其相应的数字签名方案

国内外密码学研究现状及发展趋势

密码协议的一种基于组合推理的模型验证

相关作者

韦卫

王行刚

祁明

肖国镇

冯登国

刘怡文

李伟琴

冯登国

相关机构

中国科学院计算技术研究所

华南理工大学

西安电子科技大学

华南理工大学西安电子科技大学

中国科学院软件研究所信息安全国家重点实验室

⁰