| 短消息指标新定义及在事务信道限制中的应用 |
| |
| 引用本文： | 曾海涛,王永吉,祖伟,蔡嘉勇,阮利. 短消息指标新定义及在事务信道限制中的应用[J]. 软件学报, 2009, 20(4): 985-996. DOI: 10.3724/SP.J.1001.2009.03246 |
| |
| 作者姓名： | 曾海涛 王永吉 祖伟 蔡嘉勇 阮利 |
| |
| 作者单位： | 中国科学院,软件研究所,互联网软件技术实验室,北京,100190;中国科学院,研究生院,北京,100049;中国科学院,软件研究所,基础软件国家工程中心,北京,100190;中国科学院,软件研究所,互联网软件技术实验室,北京,100190;中国科学院,软件研究所,计算机科学国家重点实验室,北京,100190;中国科学院,软件研究所,基础软件国家工程中心,北京,100190;哈尔滨工程大学,自动化学院,黑龙江,哈尔滨,150001;中国科学院,研究生院,北京,100049;中国科学院,软件研究所,基础软件国家工程中心,北京,100190;中国科学院,软件研究所,互联网软件技术实验室,北京,100190;中国科学院,研究生院,北京,100049 |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.60673022 (国家自然科学基金); the Hundred Talents of the Chinese Academy of Sciences (中国科学院“百人计划”); the Key Technology Research and Development Program of China under Grant No.2005BA113A02 (国家科技攻关计划) |
| |
| 摘 要： | 短消息指标可以度量隐蔽信道的短消息传输能力,是信道容量的必要补充.但指标现有定义中还存在着以下问题:消息长度参数在普通信息系统中不能定量分析;信道限制机制难以同时满足传输时间和保真度两个约束;没有包含消息的敏感度信息.针对这些问题,首先通过引入短消息传输价值的概念,给出了短消息指标的新定义.在该定义中,利用价值阈值统一表示系统对信道短消息传输能力的容忍程度,并且在所采用的价值函数中引入了消息的敏感度因素.其后,基于安全实时数据库应用场景给出了结合短消息指标和信道容量的事务隐蔽信道度量和限制机制.理论分析和模拟结果表明,基于短消息指标的新定义,系统可以对隐蔽信道威胁实施全面的度量和可调节的限制.
|
| 关 键 词： | 短消息指标 信道容量 事务隐蔽信道 安全实时数据库 |
| 收稿时间： | 2007-06-19 |
| 修稿时间： | 2007-12-28 |
New Definition of Small Message Criterion and Its Application in Transaction Covert Channel Mitigating |
| |
| ZENG Hai-Tao,WANG Yong-Ji,ZU Wei,CAI Jia-Yong and RUAN Li. New Definition of Small Message Criterion and Its Application in Transaction Covert Channel Mitigating[J]. Journal of Software, 2009, 20(4): 985-996. DOI: 10.3724/SP.J.1001.2009.03246 |
| |
| Authors: | ZENG Hai-Tao WANG Yong-Ji ZU Wei CAI Jia-Yong RUAN Li |
| |
| Affiliation: | Laboratory for Internet Software Technologies;Institute of Software;The Chinese Academy of Sciences;Beijing 100190;China;State Key Laboratory of Computer Science;China;Automation College;Harbin Engineering University;Harbin 150001;China;Graduate University;Beijing 100049;China |
| |
| Abstract: | Small Message Criterion (SMC) can measure the capability of the covert channel on transmitting small messages and is a necessary complement to the capacity criterion. However, SMC's present definition has deficiencies. The acquirement of message length proved to be hard in the common information system. Mitigating mechanism can not simultaneously satisfy the two restrictions of message transfer time and fidelity. The criterion does not cover information of message's sensitivity. At first, the value function... |
| |
| Keywords: | small message criterion channel capacity transaction covert channel secure real-time database |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
