摘要：介绍了一种研究系统特权安全问题的方法.由于其特有的迁移系统安全状态的能力,使得分析及保护系统特权都很困难,因此,传统访问控制研究中所采用的技术无法复制到该领域.在访问控制空间理论下,检查了系统特权的来源问题及其特点,从而将系统规则划分为约束规则与执行规则两类,分别描述授权的限制与效果.进一步对规则逻辑形式进行推导,发现特权操作问的特殊授权关系以及相关属性,并设计了一种快速构造授权推导图的算法.在此基础上,分析隐式授权安全问题可能存在的滥用特权威胁.最后对POSIX(portable operating system interface)标准的权能机制进行形式化描述,计算并构造其授权推导图.对标准设计中存在的滥用威胁提供了对策,有效地实现了与最小特权原则的一致性.

摘要：体系结构是系统设计与实施的蓝图,它能否正确、合理地指导实践在很大程度上依赖于体系结构的验证与评估。可执行体系结构研究为体系结构验证与评估开辟了新的途径。为了使各体系结构产品在整体上形成一个执行体,提出了可执行体系结构执行规则描述这一个概念。执行规则描述体系结构产品的执行、调用与数据流关系,为体系结构的执行提供了特定的背景信息。它通过标准的动态可执行模型接口分别调用该模型的执行引擎,从而达到体系结构在整体上执行的目的。体系结构的正确执行为体系结构验证提供依据,同时其运行结果为体系结构的评估提供依据。

摘要：学校管理是一门科学,更是一门艺术,需要校长及学校管理者在学习中实践,在实践中反思,在反思中不断提升治理能力和治理水平。执行规则并非机械服从,需要灵活应变;量化考核并非灵丹妙药,需要以人为本;管理并非为了应付检查,需要水到渠成;每一位教师都潜能无穷,需要在尊重中激发。

摘要：国际制度是“规定国家层面行动者在国际体系中采用合作与竞争方式的正式的以及非正式的规则”,其类型丰富且多样。这些规则或载于条约或被精心设计为涵盖实施、解释和(或)执行规则的政府间国际组织(IGOs)、国际机构或国际法院等正式的组织架构。除此之外的其他规则甚至尚未被载于各国批准的文件中。