Role based access control design using Triadic concept analysis

Role based access control is one of the widely used access control models.There are investigations in the literature that use knowledge representation mechanisms such as formal concept analysis(FCA),description logics,and Ontology for representing access control mechanism.However,while using FCA,investigations reported in the literature so far work on the logic that transforms the three dimensional access control matrix into dyadic formal contexts.This transformation is mainly to derive the formal concepts,lattice structure and implications to represent role hierarchy and constraints of RBAC.In this work,we propose a methodology that models RBAC using triadic FCA without transforming the triadic access control matrix into dyadic formal contexts.Our discussion is on two lines of inquiry.We present how triadic FCA can provide a suitable representation of RBAC policy and we demonstrate how this representation follows role hierarchy and constraints of RBAC on sample healthcare network available in the literature.

基于待选集的三元概念构造方法

三元概念分析作为形式概念分析理论的扩展,是一种分析三维数据的理论.获取三元概念是三元概念分析理论的重要问题之一,文中提出基于待选集的三元概念构造方法.首先,定义正则三元背景和净化三元背景,研究这两种三元背景的性质,证明三元背景诱导的形式背景的所有形式概念的外延集包含三元背景所有三元概念的外延集.然后,定义外延待选集,给出利用外延待选集构造三元概念的方法,加快获取三元概念的速度.进一步,证明依据该构造方法获取三元概念的可行性和完备性,同时将该构造方法推广到三元背景诱导的另两种形式背景上.最后,给出基于待选集的三元概念构造算法,并通过实验验证文中算法性能较优.

三元背景基于二元关系不变的约简

针对三元背景,提出了基于二元关系不变的约简问题。根据每个论域中元素对约简所起的不同作用对所有元素进行分类,并对不同类型元素的性质进行讨论。最后研究了约简前后三元概念之间的关系。

三元背景及概念三元格的简化

三元概念分析是对形式概念分析理论的扩展,三元背景作为其数据基础在实际生活中普遍存在。三元背景所反映的三元关系是形成概念三元格的基础,它比形式概念分析中的二元关系更复杂,因而在此基础上形成的三元概念以及概念三元格就更为复杂。对此,提出一种三元背景和概念三元格的信息简化方法,该方法将三元关系拆解为最本质的二元关系,并在保证所有二元关系不变的基础上,同时考虑三元背景的3个论域,删减其中不必要的元素,以减少数据量,简化三元背景和概念三元格的表达方式。进而,得到简化后概念三元格的一些性质以及简化前后三元概念的关系等理论结果,为进一步的算法研究与应用以及更深入的理论分析工作奠定基础。

三元概念的一种构造方法

三元概念分析是一种数据分析和信息处理的新方法.三元概念的构造是三元概念分析的重要问题之一.首先,研究一个三元概念的外延、内涵和方式中存在空集时该三元概念具有的性质,并给出这类三元概念的判定方法.其次,定义一类特殊的三元概念,称其为对象-条件三元概念.在对象-条件三元概念构成的集合上定义一种运算,并利用该运算提出一种基于对象-条件三元概念生成三元概念的方法.该方法表明:如果一个三元概念的外延和方式均为非空集合,那么它可以由某些对象-条件三元概念生成.此外,将一个三元背景按照每一个条件分解为一系列二元背景,研究该三元背景上的对象-条件三元概念与分解后的二元背景上的对象二元概念之间的关系,并进一步给出了由对象-条件三元概念生成三元概念的具体步骤.最后,通过实例阐明由对象-条件三元概念构造三元概念的详细过程,并给出了三元图来清晰地描述所生成的所有三元概念.

基于三元因子分析的三元概念约简

三元概念的约简是三元概念分析的重要问题,因为它既能简化三元图的表示,又有助于更好地理解三元概念的语意并从中提取有价值的信息.基于三元因子分析,研究保持三元背景中所有三元关系不变的三元概念约简.首先,基于三元因子分析提出三元概念约简的定义.该方法是在保持三元背景不变的条件下寻找尽可能少的三元概念,即这些三元概念能够完整地反映原始三元背景所包含的所有三元关系.其次,讨论三元因子分解与三元概念协调集的关系,并给出三元概念协调集和约简的判定方法.最后,利用三元概念约简将三元概念分为三类:核心(绝对必要)概念、相对必要概念和不必要概念,并得到每类三元概念的充要条件.此外,通过实例给出由三元因子分解和概念约简定义两种方法寻找三元概念约简的详细过程.

三元概念与形式概念的关系

由于三元概念分析是形式概念分析的拓展,因此三元概念和形式概念(二元概念)之间有着紧密的联系.首先,从二元背景出发来描述三元概念,研究一个三元背景的三元概念和所有非空条件子集确定的二元背景的二元概念之间的关系.在每一个条件确定的二元背景的所有二元对象概念集上定义一种运算,证明了通过该运算和二元概念间的并运算可以生成所有非空条件子集确定的二元背景的所有二元概念.其次,定义了一个从二元概念到三元概念的双射,并从概念粒的角度将一个三元背景的所有三元概念和二元概念进行分层,共分为三层,其中第一层是由单个对象和条件确定的二元对象概念,由它们可以生成第二层和第三层的概念粒,因此第一层是最基本的概念粒,这对三元概念的理解和构造具有重要的作用.最后,从三元概念出发来寻找二元概念,基于三元概念提出生成由每个条件确定的二元背景的二元概念的方法,并给出了严格证明.此外,还通过三元图对该方法加以直观解释.

三元概念的增量式构造方法

三元概念的构造方法是三元概念分析的核心问题之一,当条件逐个增加时,研究三元概念的增量式构造方法.首先,详细分析增加一个新的条件后原三元背景中三元概念的变化以及新增加的条件对新背景的三元概念的影响.分别针对下述四种情况给出充分必要条件:(1)新添加的条件对原背景的三元概念不影响,它仍旧是新三元背景的三元概念;(2)原背景的三元概念被替换掉,它不再是新三元背景的三元概念,替换后的三元概念的外延和内涵与原来一致,但是方式增加了新的条件;(3)原背景的三元概念与新的条件共同生成一个新的三元概念;(4)新增加的条件不借助任何原背景的三元概念生成新的三元概念.在此基础上给出基于条件的三元概念的增量式构造算法.最后,通过实例阐明增量式方法生成三元概念的详细过程.

三元概念的布尔矩阵表示方法

将布尔矩阵引入到三元概念分析,研究三元背景和三元概念的布尔矩阵表示方法。首先,定义三元背景的关系矩阵,将每一个条件下的三元背景看作一个布尔矩阵,那么三元背景是一个布尔分块矩阵,该布尔分块矩阵即为三元背景的关系矩阵。然后,利用关系矩阵给出三元背景上诱导算子的布尔矩阵表示方法,进而得到生成三元概念的外延、内涵和方式的布尔矩阵表示方法,该方法在生成三元概念时只使用一些基本的布尔矩阵运算而不涉及三元背景的诱导算子。最后,给出构造三元概念的枚举法的布尔矩阵表示方法以及基于对象-条件三元概念构造三元概念的布尔矩阵表示方法。三元概念的布尔矩阵表示方法从矩阵的角度理解三元背景和三元概念,为研究三元概念分析提供了新的视角。

基于条件属性蕴含的概念格构造及简化

基于三元背景研究三类概念格的构造和简化.首先,基于三元背景构造一个条件属性蕴含形式背景,该背景以三元背景属性集上的属性蕴含为对象,以三元背景的条件为属性.并针对条件属性蕴含形式背景给出形式概念的定义,构造相应的概念格.其次,由于条件属性蕴含形式背景中对象的个数随着三元背景中属性个数的增加呈指数级增长,这使得条件属性蕴含形式背景往往是一个比较大的数据表,因此,对条件属性蕴含形式背景进行对象约简,将原来的对象集替换为单个条件下形式背景的极小属性蕴含构成的集合.该对象约简方法不仅在很大程度上简化了条件属性蕴含形式背景,而且简化后的形式背景对应的概念格与原来的概念格同构.最后,在条件属性蕴含形式背景上引入了可能性算子和必然性算子,在此基础上定义了对象定向概念格和属性定向概念格。

基于粗糙集的三元概念分析

将粗糙集近似算子引入到三元概念分析中,定义了对象定向三元概念和属性定向三元概念。首先,基于三元背景中的三元关系提出了可能性算子和必然性算子,并研究了这两类诱导算子的性质。其次,基于这两类诱导算子定义了对象定向三元概念和属性定向三元概念。最后,构造了三元图更直观地描述对象定向三元概念和属性定向三元概念。