消除推理 meaning in English
eliminative reasoning
Examples
- First of all we introduce the concept of the secure database and classification of the secure database , then we introduce the concept and research current situation of the inference channels in multilevel secure database . we describe some methods to detect and eliminate inference channels
本文首先介绍了安全数据库的概念和安全数据库的分级，然后介绍了推理通道的概念以及多级安全数据库中推理通道的研究现状，并且描述了一些检测和消除推理通道的方法。 - Second , discussing the detecting and eliminating of inference channel , different channel detecting methord are provided according to static , dynamic and compositional channel , and a new algorithm of eliminating the inference channel by promoting security was presented . third , discussing many problems encountered by transaction , which is from single - level to multilevel , and a transaction schedule algorithm is given based on data replicated architecture . according to the theory mentioned above , a mls / dbms is developed , and the experiment result has showed the correctness of the theory
本文围绕安全数据模型,多级安全环境下的事务处理,推理控制展开了探讨,首先针对空值的二义性和数据穿越问题,提出一种改进的多实例安全模型,并对外键引起的存储隐通道进行了控制,提高了查询的效率;其次探讨推理通道的检测和排除问题,针对静态、动态推理通道和复合通道分别给出了不同的通道检测方法,并提出一种通过提高输入安全密级来消除推理通道的算法;最后讨论了事务从单级拓展到多级所面临的各种难题,提出了一种基于数据复制结构的事务调度算法。