B1级强制访问控制数据模型研析和应用.pdfVIP

摘要 数据模型是数据库系统的核心和基础，建立一个安全数据模型，对设计、 开发高安全级系统而言是至关重要的。其中强制访问控制是安全数据模型中最重 要的部分，是系统安全等级能否达到Bl级的重要决定因素。 本文提出了一种具有强制访问控制的多级安全关系数据模型。该模型参照了 许多经典多级安全数据模型的“数据借用(data—borrow)”和“基于数据的语义 (data—basedsemantics)”的思想，并在此基础上重新定义了数据完整性，有效 地解决了多级安全数据库中由多实例产生的语义模糊问题。按照“下读上写”的 安全策略重新定义了SOL的四种标准数据操作语句，并根据上写的要求新定义了 UPLEVEL语句，并证明了其正确性。最后，采用视图法实现多级关系与单级关系 之间的映射，通过将多级关系分解为传统的单级关系，使得对多级关系的操作分 鳃为传统的单级关系操作，简化了安全控制的实现。 在具体实现方面，依照上述模型的具体实现算法，不仅实现了单级关系与 多级关系之间的转换，而且实现了数据库数据项级的强制访问控制。通过身份认 证、角色访问控制、强制访问控制和审计四个模块实现了具有数据项级的强制访 问控制安全数据库的安全子系统，从而实现了B1级安全数据库的安全功能。 关键词：安全数据模型Bl级强制访问控制数据完整性数据正确性数据 操作 第1II页 Absiract coreandfoundationofthedatabase a securedata Datamodel1Sthe systemEst曲lishing modelis for and a veryimportantdesigningexploitinghigh—secure—levelsystem．Mandatory iSthemost ofthe AccessControlf凇C1 importantpart securedatamodelandiSafatalfactor levelofthe can whichdetermineswhetherasecure database reach system B1level． Inthis author amultileveldatamodelwithMACThismodel paper,theprovides security consultedthetwo coneeDtsof“data-b01Tow”and“data-basedsemantics”thatareusedin many as classicalmultileveldatamodelsSO toeliminate ofsemantics security ambiguity effectively．On this data is the basis，the to accessrulesof“downwardread integrity redefined．Then，according and authorredefines upwardwrite”，the thefourdata sentences．The manipulation