使用构造类别代数描述和验证密码协议
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/thesisDetails?columnId=74358648&Fpath=home&index=0 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
量子密码协议的改进
by: 曾贵华, et al.
Published: (2000-01-01) -
密码协议的一种基于组合推理的模型验证
by: 刘怡文, et al.
Published: (2003-01-01) -
密码学可靠的不可否认协议辅助验证方法
by: 冯超, et al.
Published: (2011-01-01) -
一种通信协议测试序列生成的新方法
by: 孙宇霖, et al.
Published: (2001-01-01) -
利用半可控接口进行通信协议一致性测试
by: 吴慧萍, et al.
Published: (2003-01-01)