|国家科技期刊平台
| 注册
首页|期刊导航|计算机与数字工程|安全协议的形式化方法概述

安全协议的形式化方法概述

刘霞 陈勇

计算机与数字工程2005，Vol.33Issue(5)：39-43,5.
✕
计算机与数字工程2005，Vol.33Issue(5)：39-43,5.

安全协议的形式化方法概述

Summarization on Security Protocols Formalization

刘霞 1陈勇2

作者信息

  • 1. 桂林电子工业学院计算机系,桂林,541004
  • 2. 重庆大学自动化学院,重庆,400044
  • 折叠

摘要

关键词

安全协议/形式化

分类

信息技术与安全科学

引用本文复制引用

刘霞,陈勇..安全协议的形式化方法概述[J].计算机与数字工程,2005,33(5):39-43,5.

计算机与数字工程

1672-9722

访问量0
|
下载量0
段落导航相关论文