密码协议的一种基于组合推理的模型验证
Saved in:
Main Authors: | 刘怡文, 李伟琴, 冯登国 |
---|---|
Format: | Article |
Language: | zho |
Published: |
Editorial Department of Journal on Communications
2003-01-01
|
Series: | Tongxin xuebao |
Online Access: | http://www.joconline.com.cn/zh/article/74361696/ |
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: (2004-01-01) -
基于知识的协议验证方法
by: 张伟, et al.
Published: (1993-01-01) -
使用构造类别代数描述和验证密码协议
by: 刘政, et al.
Published: (2004-01-01) -
自然语言的语义推理的一种方法
by: 吴士珑
Published: (1982-01-01)