摘要
在对COPS协议作详细非形式化分析的基础上,用扩展的库所/变迁网对其主要部分进行了形式化的描述,从而为COPS协议的分析与改进奠定了基础。
This paper presents a formal protocol description of COPS with extended place/transition net on the base of detailed informal analysis , thus lays a foundation for analysis and improvement of the COPS .
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第7期82-83,188,共3页
Computer Engineering
基金
云南省自然科学基金资助项目(2002F0012M)
南省教育厅科研基金项目(0111155)
南省省校合作项目(19-7)(北京大学-云南大学)
关键词
COPS
PETRI网
策略执行点
策略决策点
消息完整性
Common open policy service(COPS)
Petri net
Policy enforcement point(PEP)
Policy decision point(PDP)
Message integrity