学术论文信息

 题名：   数字证书语义的形式化描述 
 作者：   王礼强,龚俭 
 杂志/会议：   计算机工程与科学 
 卷、期、页码：   Vol.23 No.1 P:5-7 
 时间：   2001-01 
 关键词：    
 摘要：  为了对证书的语义有一个准确的理解，本文定义了一个形式化的表述方法对证书作了分析。文章还列举了两个利用该系统进行推理的例子。
 索引：   
 全文链接        导出