| 基于访问角色的预警协议设计及验证 |
| |
| 引用本文： | 李海龙,曹耀钦,陈红缦. 基于访问角色的预警协议设计及验证[J]. 电光与控制, 2007, 14(2): 159-161 |
| |
| 作者姓名： | 李海龙 曹耀钦 陈红缦 |
| |
| 作者单位： | 第二炮兵工程学院计算机系,西安,710025;第二炮兵工程学院计算机系,西安,710025;第二炮兵工程学院计算机系,西安,710025 |
| |
| 摘 要： | 为实现网络对抗中预警系统的高敏感性和协同特性,文章将基于角色的访问控制(RBAC)的思想引入到预警系统中,设计了一种新的预警协议.构建了该预警协议的Petri网模型,并利用Petri网的可达性分析方法验证了协议的正确性.
|
| 关 键 词： | RBAC 预警协议 Petri网 可达性 |
| 文章编号： | 1671-637X（2007）02-0159-03 |
| 修稿时间： | 2005-11-182006-01-05 |
Design and verification of early warning protocol based on role access |
| |
| LI Hai-long,CAO Yao-qin,CHEN Hong-man. Design and verification of early warning protocol based on role access[J]. Electronics Optics & Control, 2007, 14(2): 159-161 |
| |
| Authors: | LI Hai-long CAO Yao-qin CHEN Hong-man |
| |
| Abstract: | By introducing the idea of Role-Based Access Control(RBAC) into early warning system,a new early warning protocol is designed to have high sensitive and cooperative property in network countermeasure.The model of Petri net for the early warning protocol is constructed and the protocol is verified by using reachability analysis of Petri net. |
| |
| Keywords: | Role-Based Access Control(RBAC) early warning protocol Petri net reachability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
