助手标题  
全文文献 工具书 数字 学术定义 翻译助手 学术趋势 更多
查询帮助
意见反馈
   安全公理 的翻译结果: 查询用时:0.094秒
图标索引 在分类学科中查询
所有学科
更多类别查询

图标索引 历史查询
 

安全公理
相关语句
  security axiom
     Classical BLP model is the theory basic of implementing multi level security in computer systems and is considered to basal security axiom,the model studies security in formal way by defining system,state,transform,rule and regarding the system as infinite state machine.
     经典BLP模型是实现计算机系统多级安全的理论基础,被视作基本安全公理。 BLP模型采用形式化方法,通过定义系统、状态、转换、规则等将系统描述为有穷状态机来研究其安全性。
短句来源
  “安全公理”译为未确定词的双语例句
     The classical Bell & LaPadula (BLP) model, upon which the implementation of multilevel security (MLS) support in secure computer systems is based, is recognized as fundamental security axioms.
     经典的 Bell & L a Padula( BL P)模型是在计算机安全系统中实现多级安全性 ( ML S)支持的基础 ,被视作基本安全公理 .
短句来源
     With the development of a secure operating system, named RS-Linux, which is based on the Linux system, the practical significance of the abstract BLP security axioms in the implementation of a secure operating system is discussed.
     结合以 L inux为基础的一个安全操作系统 ( RS- L inux)的开发 ,讨论抽象的 BL P安全公理在安全操作系统实现中的实际意义 .
短句来源
  相似匹配句对
     The generally acknowledged truth of putting safety first is put forward.
     提出“安全第一”公理;
短句来源
     SECURITY
     安全
短句来源
     The generally acknowledgedtruth,safetyfirst ,andsafety culture are studied.
     研究了“安全第一”公理安全文化;
     SECURITY BASE
     安全大本营
短句来源
     axiom and reles.
     公理和规则;
短句来源
查询“安全公理”译词为用户自定义的双语例句

    我想查看译文中含有:的双语例句
例句
没有找到相关例句


The classical Bell & LaPadula (BLP) model, upon which the implementation of multilevel security (MLS) support in secure computer systems is based, is recognized as fundamental security axioms. With the development of a secure operating system, named RS-Linux, which is based on the Linux system, the practical significance of the abstract BLP security axioms in the implementation of a secure operating system is discussed. A new enforcement approach, named ABLP approach, for the BLP axioms is constructed theoretically....

The classical Bell & LaPadula (BLP) model, upon which the implementation of multilevel security (MLS) support in secure computer systems is based, is recognized as fundamental security axioms. With the development of a secure operating system, named RS-Linux, which is based on the Linux system, the practical significance of the abstract BLP security axioms in the implementation of a secure operating system is discussed. A new enforcement approach, named ABLP approach, for the BLP axioms is constructed theoretically. The correctness of the ABLP approach is proved. The ABLP approach, whose distinct characteristic is the adaptability of the current sensitivity label of a subject, mainly consists of three access control rules. It is an improvement on the basis of the ordinary enforcement approaches. Specifically, it overcomes the deficiencies of the ordinary enforcement approaches in subject label assignment and provides good flexibility for security decision.

经典的 Bell & L a Padula( BL P)模型是在计算机安全系统中实现多级安全性 ( ML S)支持的基础 ,被视作基本安全公理 .结合以 L inux为基础的一个安全操作系统 ( RS- L inux)的开发 ,讨论抽象的 BL P安全公理在安全操作系统实现中的实际意义 .从理论上构造 BL P公理的一种新的实施方法 ( ABL P方法 ) ,并给出该方法的正确性证明 .ABL P方法主要由 3条访问控制规则构成 ,其特点是允许主体的当前敏感标记进行适应性调整 ,它以常规实施方法为基础 ,克服了常规实施方法在标记指派方面的不足 ,为安全判定增加了灵活性 .

Security policy model is the groundwork for secure or trusted system. Bell-LaPadula model with its good adaptability has comprehensive applications to multilevel security system, but it is short of the rules about integrity and consistency. Based on that model, an extended policy model is proposed, which is founded on the extended object hierarchy. By this way, the integrity becomes one of the inherence properties of the model. The object domains, extended security axioms and operation rules are also introduced...

Security policy model is the groundwork for secure or trusted system. Bell-LaPadula model with its good adaptability has comprehensive applications to multilevel security system, but it is short of the rules about integrity and consistency. Based on that model, an extended policy model is proposed, which is founded on the extended object hierarchy. By this way, the integrity becomes one of the inherence properties of the model. The object domains, extended security axioms and operation rules are also introduced or redefined. The proposed model more suits the requirements of multilevel security databases, and guarantees the consistency among policy model, system specification and other high-level security model. The extensions and enhancements, especially other properties besides security, are the necessary steps for transforming a policy model into a practical system.

安全策略模型是安全可信系统的基础.Bell-LaPadula模型是多级安全系统中广泛应用的安全策略模型,但它缺乏针对数据模型的完整性和一致性规则.以该模型为基础,针对数据库系统的数据模型,提出了一个以扩展客体层次结构为基础的安全策略模型.模型通过扩展客体层次结构使完整性成为模型的内在属性,并引入或重新定义了客体域、扩展安全公理和操作规则.模型更加适应多级安全数据库系统的要求,增强了策略模型与系统规格和高层模型的一致性.普遍性和通用性安全模型的扩展和增强,特别是安全性以外的特性的引入是安全策略模型向实际系统模型转化的必要步骤.

The classical BLP model is the base of multi-level system and is treated as a basic axiom within computer security. BLP model adopts MAC and DAC to implement its security characters. Three representation methods of BLP model:axiom representation, finite-state machine representation and information flow lattice model representation are summarized. It is found that four main defects in BLP model exist, that are, incompleteness of security level definition, disintegrality of information, defect of time...

The classical BLP model is the base of multi-level system and is treated as a basic axiom within computer security. BLP model adopts MAC and DAC to implement its security characters. Three representation methods of BLP model:axiom representation, finite-state machine representation and information flow lattice model representation are summarized. It is found that four main defects in BLP model exist, that are, incompleteness of security level definition, disintegrality of information, defect of time domain security and defect of covert channel. BLDM and MBLP model are two influential improvements over BLP model.

经典的BLP模型是在计算机安全系统中实现多级安全性支持的基础,被视作基本安全公理 BLP模型采用"强制存取控制"和"自主存取控制"来实现其安全性 总结了BLP模型的"公理化描述"、"有限状态机模型描述"和"信息流的格模型描述"三种不同描述方法,分析了其BLP模型目前存在的安全缺陷主要是:安全级定义的不完备性、信息完整性缺陷、时域安全性缺陷和隐通道 在对BLP模型的改进中,影响较大的主要有BLDM与MBLP两种模型

 
<< 更多相关文摘    
图标索引 相关查询

 


 
CNKI小工具
在英文学术搜索中查有关安全公理的内容
在知识搜索中查有关安全公理的内容
在数字搜索中查有关安全公理的内容
在概念知识元中查有关安全公理的内容
在学术趋势中查有关安全公理的内容
 
 

CNKI主页设CNKI翻译助手为主页 | 收藏CNKI翻译助手 | 广告服务 | 英文学术搜索
版权图标  2008 CNKI-中国知网
京ICP证040431号 互联网出版许可证 新出网证(京)字008号
北京市公安局海淀分局 备案号:110 1081725
版权图标 2008中国知网(cnki) 中国学术期刊(光盘版)电子杂志社