J4 ›› 2001, Vol. 23 ›› Issue (1): 5-7.
• 论文 • 上一篇 下一篇
王礼强 龚俭
出版日期:
发布日期:
Online:
Published:
摘要：
为了对证书的语义有一个准确的理解。本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。
关键词: 形式化描述 数字证书语义 密码学 计算机网络 网络安全
王礼强 龚俭. 数字证书语义的形式化描述[J]. J4, 2001, 23(1): 5-7.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2001/V23/I1/5
