| 基于Petri网的证书生命周期管理流程分析 |
| |
| 引用本文： | 杜广荣 张月琳. 基于Petri网的证书生命周期管理流程分析[J]. 微机发展, 2005, 15(9): 60-61,64 |
| |
| 作者姓名： | 杜广荣 张月琳 |
| |
| 作者单位： | 东南大学计算机科学与工程系,江苏南京210096 |
| |
| 摘 要： | CA证书管理是PKI网络安全体系实施的关键，它涉及到密钥和证书从创建到撤销的整个过程。文中使用Petri网理论中的库所／变迁系统模型对一个CA证书管理流程进行建模，并用状态可达图理论对其系统的完备性进行了分析与证明。通过该形式化的方法对该系统进行分析，其完备性证明更加直观。
|
| 关 键 词： | CA PKI Petri网 P／T-系统 |
| 文章编号： | 1005-3751（2005）09-0060-02 |
| 收稿时间： | 2004-12-12 |
| 修稿时间： | 2004-12-12 |
Analysis of Certification Life - Cycle Management Flow Based on Petri-net |
| |
| Du GuangRong;Zhang YueLin. Analysis of Certification Life - Cycle Management Flow Based on Petri-net[J]. Microcomputer Development, 2005, 15(9): 60-61,64 |
| |
| Authors: | Du GuangRong Zhang YueLin |
| |
| Abstract: | CA certification management is the key of PKI actualization.It includes all process from initialization to cancellation of the key and certification.So a certification management flow modeling is designed based on Petri-net'P/T system.Its integrity is analysed by the theory of state reachability graph.Its integrity proof, analysed by the method of formalization, is more intuitionistic. |
| |
| Keywords: | CA PKI Petri-net P/T-syatem |
| 本文献已被 CNKI 维普 等数据库收录！ |
