摘要
安全分布式数据库系统中,常会出现信息不一致现象,由此产生推理通道。本文提出了一个基于语法的推理通道的分析模型,该模型通过对代码进行分析,能够准确找出系统可能存在的安全漏洞。
In a secure distributed database system, information inconsistency often exists, thus gives rise to inference channel. This article proposes a syntax - based inferencechannel analysis model. By analysizing the source code, this model can precisely find the possible security flaws in system.
出处
《计算机与数字工程》
2000年第1期50-53,共4页
Computer & Digital Engineering
关键词
关系数据库
推理通道
推导权
控制权
relational data base, inference channel, inferability, controllability