使用构造类别代数描述和验证密码协议
Saved in:
Main Authors: | 刘政, 赵保华, 屈玉贵 |
---|---|
Format: | Article |
Language: | zho |
Published: |
Editorial Department of Journal on Communications
2004-01-01
|
Series: | Tongxin xuebao |
Online Access: | http://www.joconline.com.cn/zh/article/74358648/ |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
密码学可靠的不可否认协议辅助验证方法
by: 冯超, et al.
Published: (2011-01-01) -
密码协议的一种基于组合推理的模型验证
by: 刘怡文, et al.
Published: (2003-01-01) -
量子密码协议的改进
by: 曾贵华, et al.
Published: (2000-01-01) -
一种通信协议测试序列生成的新方法
by: 孙宇霖, et al.
Published: (2001-01-01) -
利用半可控接口进行通信协议一致性测试
by: 吴慧萍, et al.
Published: (2003-01-01)