An approach to the formal specification of the structure, function and the security principle of a certificate management system is presented.

• 把认证管理系统的分布式结构抽象为无圈有向图；在图中讨论了如何通过不同的有向道路得到相同的有效证书.