基于角色的授权管理模型的研究

在分析基于角色的访问控制(RBAC)技术及授权管理基础设施(PMI)的基础上,详细探讨了WEB页和文件系统访问控制中角色和资源的层次关系,角色的权限分配及继承等问题,并给出一种基于角色的授权管理模型,为实现细粒度的访问控制奠定了基础.     

一种混合授权的RBAC模型及其UML建模

针对核心RBAC模型在实际应用中存在的不足,提出一种对角色和用户混合授权的RBAC改进模型.在模型中加入直接用户权限指派方便了临时授权,在角色和用户权限中分别设置优先级约束和继承约束避免了权限冲突,给出了模型的形式化描述与认证算法.针对RBAC模型抽象化、形式化及开发者难以理解的问题,基于UML对RBAC改进模型进行了静态和动态建模,缩短了理论安全模型和实际应用开发间的差距.     

T-RBAC访问控制模型及其约束描述语言

一种结合了基于任务的访问控制模型TBAC和基于角色的访问控制模型RBAC特点的新型访问控制模型-T-RBAC.该模型采用了以任务为中心的"用户-角色-任务-权限"的四级访问控制结构,较好地解决了当前工作流系统中存在的安全性问题.此外,在新模型的基础上设计了一套描述约束机制的语言ETCL,该语言在RCL2000的基础上扩充了时间特性和任务的概念,使新模型具备了较完整的约束描述能力.     

基于Web的图书馆管理系统访问控制策略

针对基于Web的图书馆管理系统资源访问控制的动态性问题，提出了一种基于角色的访问控制策略描述方案．通过对基于Web的图书馆管理系统访问控制管理影响因素和访问控制需求的分析，结合NIST基于角色的访问控制统一模型标准，构造了一种基于角色的访问控制元模型．并在这一元模型的基础上，提出了一种紧凑的基于角色的访问控制XML策略描述语言框架．结果表明该访问控制策略描述语言框架适合表述动态环境下对图书馆资源的访问策略，提高了基于Web的图书馆管理系统资源访问的安全性．     

一种扩展的RBAC模型-GDTRBAC模型的设计

在Sandhu等提出的RBAC96模型中RBAC3的基础上,针对其在机构自身组织结构的管理功能和动态授权方面的不足进行了改进,提出了一种扩展的模型RBAC-GDTRBAC,通过在该模型中引入组、用户授权、有状态任务等概念,增强了RBAC机构管理的能力,增加了对动态授权的支持并能够支持工作的时序要求。     

一种具有时间约束的基于角色的授权管理模型

针对大型系统中角色权限管理的复杂性，提出了一种具有时间约束的基于角色的授权管理模型．考虑到用户权限通常包括私有权限、部门权限及公有权限，并存在权限频繁变动等问题，该模型扩展了权限定义，在权限定义中增加了权限的传播深度参数，即增加了可被继承的次数，使该参数与现实世界中的各级岗位数及权限类型相对应．另外，该模型在权限的继承中也加入了时间约束，使得只有满足时间条件要求的角色的权限才可以被继承．结果表明，该模型不仅有利于权限的频繁更新，也对应了现实世界中的岗位数，易于理解与操作．     

Arts：一个基于角色的信任管理系统

开放协同软件环境下软件系统的安全问题极大的影响了软件系统的开发与应用．信任管理是解决开放协同环境下软件系统安全问题的新新方法．信任管理系统为开放协同环境下的软件系统提供安全服务．本文将传统的基于角色的访问控制模型与信任管理思想相结合，设计了一个适用于开放环境的基于角色的信任管理系统Arts．文章给出了系统的设计思路和系统结构，阐述了设计开放环境下访问控制系统一种新方法．     

基于角色与目标注册元模型的语义互操作能力研究

为了促进需求模型间的语义互操作并有效评估角色与目标注册元模型为两种需求模型提供的语义互操作能力,提出了一种互操作能力评估方法.实验中以需求模型i＊和KAOS对会议安排进行建模得到需求模型实例,同时基于现有的角色与目标注册元模型以及对应的需求模型规格,通过连续两次映射,将需求模型的元素映射到角色与目标注册元模型的元类及其关联,并针对映射结果定量分析i＊模型与KAOS模型间部分语义互操作的程度.实验结果表明,该方法能有效评估需求模型间通过角色与目标注册元模型进行语义互操作的能力,并为需求模型间实现深度语义互操作提供度量支持.     

可信授权技术的研究和实现

针对认证和授权脱离，给系统留下了缓冲区溢出攻击导致认证机制被旁路的安全隐患问题．提出了可信授权的思想，将用户的认证可信度作为授权的基础，使用户获得的授权是真正可信的，从而避免认证机制被旁路造成的危害，并且能真正实现管理员分权．同时本文基于Kylin操作系统安全版的角色定权框架，给出了可信授权的实现技术和途径．     

基于偏序关系的Rough集模型及其应用

在标准Rough集理论的指导下，利用偏序关系性质构造了不同分类，并以此为基础探讨了上、下近似集，从而构建了基于偏序关系的Rough集模型。新模型将Rough集理论的应用范围由等价关系扩展到偏序关系。为了更好地增强模型的实用性和灵括性，一方面从程度、精度、概率等角度出发分别对其进行了扩展，另一方面引入依赖度使其适用于研究各种非严格的偏序关系。给出了实例分析，并结合现实生活中的现象阐述了模型的应用价值。     

一种多源矢量空间数据的联动增量更新模型

提出了一种可扩展的多源矢量空间数据的联动增量更新模型.该模型以不同来源的矢量空间数据库作为局域网中的数据节点,通过动态建立和维护不同节点的数据之间的依赖关系,并根据依赖关系信息提取和派发增量更新数据,实现了矢量空间数据节点与节点之间传递联动更新,有效地解决了依靠大量的人工更新操作去维护不同来源的国土资源矢量空间数据库之间现势性和一致性的问题.     

一种基态修正模型下的时空拓扑关系表达

传统的基态修正模型仅能显式存储宗地变更的父子关系和变化类型,不能在2个不同时间快照间进行关联检索.在已有时空数据管理方法的基础上引入地理事件,通过事件序列组织差文件来解决前后版本数据库之间时态拓扑关系和空间拓扑关系关联的难题,根据时空地理对象的空间拓扑关系和时态拓扑关系模型,提出了81种时空拓扑关系并进行综合呈现.通过地籍数据库增量更新过程进行验证,结果表明,提出的模型能够较完整地存储与表达该模型下的时空拓扑关系,可以通过改进的STSQL语言进行时空查询,在时空数据的管理上具有一定的应用价值.     

软件质量要素间关系的数学模型及应用

本文为软件质量要素间的关系建立了数学模型，并在此基础上把规定软件质量指标的问题转化为一个非线性规划问题，证明了最优解的存在，同时还给出了求最优解的具体方法。     

一个用于支持经济预测决策的EP—ESS模型

本文论述了EP-ESS的结构及其各部分之间的关系,并给出了ES部分推理的数学模型及其实现的流程图。     

形变映射法在求解非线性Klein-Gordon方程中的应用——以Φ

非线性Klein-Gordon方程在场论中具有十分重要的物理意义, 且通常是不可积的. 形变映射法利用场论中可积场方程的已知孤子解、周期解等共同特征, 通过建立一般特解间的联系来求解不可积场的新解析解. 形变映射法可以将一个非线性系统的某些重要的严格解和其他系统互相联系起来, 从而得到这些非线性系统的新类型严格解, 例如多个椭圆周期波的相互作用解或椭圆周期波和孤立波的相互作用解; 也可以利用系统自身的形变映射关系, 得到同一个系统不同解之间的形变映射关系, 从而得到系统的新严格解. 将严格解映射到系统自身, 就是系统的贝克隆变换.     

关于逼近零点的几点注记

在Smalc的牛顿迭代的点估计中,逼近零点对判断迭代的收敛性具有很重要的作用.本文讨论了逼近零点的性质及与弱逼近零点的关系.同时,改进了Smale关于弱逼近零点的一个结果.最后,给出了逼近零点的收敛半径.     

工作流日志与过程模型的一致性分析

工作流日志体现系统的实际执行情况,工作流过程模型则是对系统流程的一种静态描述.工作流建模方法以及过程挖掘技术将系统执行日志与系统模型联系在一起,日志与过程模型的一致性问题在各种应用领域已经越来越重要,但是现在并没有很好的方法去分析一致性.针对这一问题,定义了日志与模型的一致性的概念,并根据日志与模型的相互关系,提出了两个评价指标:日志匹配性和行为一致性,并给出了相应的评价方法.该方法可以有效地评估工作流日志与工作流模型之间的一致性程度.     

家庭收入分析

本文应用计量经济学的方法,建立家庭收入的数学模型和家庭收入的分布函数。分析影响家庭收入的主要因素,同时确立家庭收入与其主要影响因素之间的定量关系。然后,把家庭收入拟合于三参数的对数正态分布,并用迭代的方法求出分布的参数。