【摘 要】
：
形式化方法是研究复杂管理系统的有用工具.本文提出一个基于状态的安全组管理形式模型,采用ZNotation语言描述.安全组是共享组密钥的授权成员的集合,本文不是直接定义安全组
论文部分内容阅读
形式化方法是研究复杂管理系统的有用工具.本文提出一个基于状态的安全组管理形式模型,采用ZNotation语言描述.安全组是共享组密钥的授权成员的集合,本文不是直接定义安全组而是定义组状态,组状态是某一时刻的组安全上下文,组的安全性和可靠性描述为某时刻组状态的性质.组管理过程是事件触发的组状态的变换过程,其终极目标是保证组在任一个稳定时刻都处于安全状态,但完全安全是不可能的.本文给出一个组策略框架,在此框架下提出安全组管理行为规则,并说明根据规则组状态转换过程满足安全策略约束.
其他文献
１９９３年１０月至１９９７年１２月采用补阳还五汤加味配合针刺治疗颅脑损伤后遗症５３例，取得满意疗效。１临床资料本组男性３５例，女性１８例。年龄７～６８岁。车祸２９例，打击伤１７例，跌伤７例。病程３天～１年。全身完全性瘫痪者２例，左侧肢
尿激酶大剂量静脉溶栓致脑出血３例刘波张红宇王晓飞（包头医学院一附院神经科，包头０１４０１０）溶栓疗法治疗急性脑梗塞是目前临床广为应用并确有疗效的一种方法。但继发性脑出血则是溶栓治疗
西沙必利与大剂量吗丁啉治疗慢性功能性消化不良的比较李淑敏，闫向民，刘梅（包钢医院内科，包头０１４０１０）功能性消化不良（ＦＤ）又称非溃疡性消化不良（ＮＵＤ）。病程大于３个月以上称为慢性功能性消化不良。我
白内障治疗仪治疗老年白内障的临床观察康妮，张华，塔娜（包头医学院一附院理疗科，眼科，包头０１４０１０）对老年白内障初发期，虽然治疗方法多样，但都没有一定的确切疗效。１９９５年１０月始，我们用白内障治疗仪
１临床资料患者男，４３岁，司机，主因车祸至头外伤伴昏迷３小时入院。查体：深昏迷，呼吸急促，２８～３０次／分，呼吸道内充满血性分泌物，左额部头皮肿胀，有明显擦伤，双侧瞳孔等大等圆，对光反射迟钝，颈软无抵抗，心
尿激酶治疗急性脑梗塞的护理体会刘玮（包头医学院一附院核医学科，包头０１４０１０）当前，应用溶栓药物尿激酶治疗急性脑梗塞成为全国神经内外科的热点。我科近期依据头颅ＣＴ及ＭＲＩ扫描图象采用尿激酶
扑尔敏西米替丁合用预防硝酸甘油静滴过敏一例张淑琴，孙玉华，吕沙泉（包头医学院一附院干部病房，包头０１４０１０）我院一例患者用硝酸甘油静滴后出现药物性皮疹，经使用扑尔敏、西米替丁合用，消除
XML是SGML一个子集,本质上是一种特殊的SGML标记语言.XML已经成为Internet上数据表示和数据交换的新标准,被认为是最有前途的一种半结构化数据组织方式.XML的重点是管理信息
本质用例描述了用户与系统间抽象、轻量级和技术无关的对话过程.与传统的用例相比,本质用例更为简洁,避免了在开发过程早期就进行设计决策.本文探讨了在软件系统开发过程中,