数字证书语义的形式化描述

• 作者: 王礼强 龚俭
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 形式化描述 证书 实体
• 年，卷（期）: 2001,（1）
• 所属期刊栏目: 计算机网络
• 页码范围: 5-7
• 页数: 3页
• 分类号: TP393
• 字数: 2847字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2001.01.002

摘要

为了对证书的语义有一个准确的理解，本文定义了一个形式化系统。利用形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	龚俭	东南大学计算机科学与工程系	107	2154	26.0	43.0
2	王礼强	东南大学计算机科学与工程系	1	2	1.0	1.0