论文部分内容阅读
为实现网络对抗中预警系统的高敏感性和协同特性，文章将基于角色的访问控制（RBAC）的思想引入到预警系统中，设计了一种新的预警协议。构建了该预警协议的Petri网模型。并利用Petri网的可达性分析方法验证了协议的正确性。
基于访问角色的预警协议设计及验证
【摘 要】
：
为实现网络对抗中预警系统的高敏感性和协同特性，文章将基于角色的访问控制（RBAC）的思想引入到预警系统中，设计了一种新的预警协议。构建了该预警协议的Petri网模型。并利用Petri
【机 构】
：
第二炮兵工程学院计算机系
【出 处】
：
电光与控制
【发表日期】
：
2007年2期
其他文献
化疗是肿瘤治疗的重要手段,但在化疗过程中,常由于各种原因造成静脉反应甚至化疗药物渗漏至皮下,给病员带来莫大的痛苦,也给护理工作增加静脉穿刺难度,影响化疗方案实施.因此
肠道蠕虫感染是目前中、小学生普遍存在的问题,也是学生营养不良发生的主要原因.我县自1997年开展全民防治肠道线虫病以来,每年都对全县学生驱虫1次,但一直缺少对学生肠道蠕
在Na2SiO3-KOH电解液中,添加硼酸和稳定剂,进行铝合金微弧氧化.结果表明,硼酸有利于提高铝合金表面形成的氧化物陶瓷膜硬度,改善其表面光滑度.稳定剂可提高电解液的稳定性,延
目的观察孕妇合并妇科肿瘤的并发症及对母儿的危害.方法对1992～2003年孕妇合并妇科肿瘤91例(其中子宫肌瘤64例,卵巢囊肿27例),分别对孕期、分娩期及对新生儿各种不良结局进行
综述了氧化物薄膜电化学沉积的工艺条件与参数及其影响，给出了氧化物薄膜沉积的对象，描述了氧化物薄膜的作用和用途。
目的了解栖霞市人民的碘营养水平.方法对该市各年龄组人群随机抽取260份尿样,采用温和酸消化砷-铈接触碘催化分光光度法进行测试.结果 50%以上的人尿碘含量超过了200 μg/L,