王礼强,龚俭. 数字证书语义的形式化描述. 计算机工程与科学. Vol.23 No.1 P:5-7. 2001-01.