COPS协议

作品数:4被引量:1H指数:1
导出分析报告
相关领域:自动化与计算机技术电子电信更多>>
相关作者:杨洋陆正福胡艳李津生金铭更多>>
相关机构:华南理工大学中山大学云南大学中国科学技术大学更多>>
相关期刊:《电路与系统学报》《微型电脑应用》《计算机工程》《计算机应用》更多>>
相关基金:云南省自然科学基金国家高技术研究发展计划更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=计算机工程x
条 记 录,以下是1-1
视图:
排序:
COPS协议的分析及其Petri网建模被引量:1
《计算机工程》2004年第7期82-83,188,共3页陆正福 杨洋 
云南省自然科学基金资助项目(2002F0012M);南省教育厅科研基金项目(0111155);南省省校合作项目(19-7)(北京大学-云南大学)
在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础。
关键词:COPS PETRI网 策略执行点 策略决策点 消息完整性 
检索报告 对象比较 聚类工具 使用帮助 返回顶部