基于Petri网的证书生命周期管理流程分析

• 作者: 张月琳 杜广荣
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: CA PKI Petri网 P/T_系统
• 年，卷（期）: 2005,（9）
• 所属期刊栏目: 计算机安全
• 页码范围: 60-61,64
• 页数: 3页
• 分类号: TP393.08
• 字数: 1653字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2005.09.021

摘要

CA证书管理是PKI网络安全体系实施的关键,它涉及到密钥和证书从创建到撤销的整个过程.文中使用Petri网理论中的库所/变迁系统模型对一个CA证书管理流程进行建模,并用状态可达图理论对其系统的完备性进行了分析与证明.通过该形式化的方法对该系统进行分析,其完备性证明更加直观.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张月琳	东南大学计算机科学与工程系	16	106	7.0	9.0
2	杜广荣	东南大学计算机科学与工程系	1	1	1.0	1.0