Formal Description of Digital Certificate Semantics
Wang Li · Computer Engineering and Science · 2001
In order to accurately understand the semantics of digital certificates,this article defines a formal system which is used to analyze the meaning of certificate.Besides,two examples which utilize the system to reason are explained. [WT5HZ]