使用容量指标的安全实时数据库信道限制方法

被引：2

作者：

曾海涛 ^{[1
]}

王永吉 ^{[1
]}

阮利 ^{[1
]}

祖伟 ^{[2
]}

蔡嘉勇 ^{[3
]}

机构：

[1] 中国科学院软件所互联网软件技术实验室

[2] 中国科学院自动化所综合信息中心

[3] 中国科学院研究生院

来源：

通信学报 | 2008年 / 08期

基金：

国家科技攻关计划;

关键词：

安全实时数据库; 数据竞争隐蔽信道; 信道容量; 协议选择策略;

D O I：

暂无

中图分类号：

TP311.13 [];

学科分类号：

1201 ;

摘要：

依据可信计算机系统评测标准(TCSEC)要求,提出一种使用信道容量指标的安全实时数据库中数据竞争信道的限制方法(CUCCMM),给出了限制过程中信道容量度量算法和限制参数计算方法。为了保证系统的信道容量限制标准的准确执行,提出了一种基于多概率的并发控制协议选择策略(MPBPSP)。实验结果证明CUCCMM方法可以有效地、准确地实施对隐蔽信道容量的限制,并且通过使用MPBPSP策略显著降低了信道限制操作对系统实时性能的影响。

引用

页码：46 / 56

页数：11

共 4 条

[1] 安胜安全操作系统的隐蔽通道分析 [J].

卿斯汉 ;

朱继锋 .

软件学报, 2004, (09) :1385-1392

[2] 单调速率及其扩展算法的可调度性判定 [J].

王永吉 ;

陈秋萍 .

软件学报, 2004, (06) :799-814

[3]

A nested transaction model for multilevel secure database management systems[J] . Elisa Bertino,Barbara Catania,Elena Ferrari.ACM Transactions on Information and System Security （TISSEC） . 2001 (4)

[4]

Improving timeliness in real-time secure database systems[J] . Sang H. Son,Rasikan David,Bhavani Thuraisingham.ACM SIGMOD Record . 1996 (1)

← 1 →