|
|||||
|
|
| 基于访问角色的预警协议设计及验证 | |
| 作者姓名： | 李海龙 曹耀钦 陈红缦 |
| 作者单位： | 第二炮兵工程学院计算机系,西安,710025;第二炮兵工程学院计算机系,西安,710025;第二炮兵工程学院计算机系,西安,710025 |
| 摘 要： | 为实现网络对抗中预警系统的高敏感性和协同特性,文章将基于角色的访问控制(RBAC)的思想引入到预警系统中,设计了一种新的预警协议.构建了该预警协议的Petri网模型,并利用Petri网的可达性分析方法验证了协议的正确性. |
| 关 键 词： | RBAC 预警协议 Petri网 可达性 |
| 文章编号： | 1671-637X（2007）02-0159-03 |
| 修稿时间： | 2005-11-182006-01-05 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |