基于知识的协议验证方法
Saved in:
Main Authors: | 张伟, 刘积仁, 李华天 |
---|---|
Format: | Article |
Language: | zho |
Published: |
Editorial Department of Journal on Communications
1993-01-01
|
Series: | Tongxin xuebao |
Online Access: | http://www.joconline.com.cn/zh/article/74382418/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
密码协议的一种基于组合推理的模型验证
by: 刘怡文, et al.
Published: (2003-01-01) -
密码学可靠的不可否认协议辅助验证方法
by: 冯超, et al.
Published: (2011-01-01) -
网络协议一致性测试环境
by: 孟莉, et al.
Published: (1993-01-01) -
网络支付协议的形式化安全需求及验证逻辑
by: 刘怡文, et al.
Published: (2004-01-01) -
计算机网络协议开发支撑环境—PIDE
by: 刘积仁, et al.
Published: (1991-01-01)