COPS协议的分析及其Petri网建模

• 作者: 杨洋 陆正福
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: COPS Pctri网 策略执行点 策略决策点 消息完整性
• 年，卷（期）: 2004,（7）
• 所属期刊栏目: 网络与通信
• 页码范围: 82-83,188
• 页数: 3页
• 分类号: TP393.07
• 字数: 3737字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.07.033

摘要

在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陆正福	云南大学数学系	64	236	8.0	11.0
2	杨洋	云南大学数学系	34	121	6.0	10.0