Verified Order-Based Secure Concurrency Controller in Multilevel Secure Database Management Systems
-
- SOHN Yonglak
- the Department of Computer Engineering, Seokyeong University
-
- MOON Songchun
- the Department of Management Engineering Graduate School of Manegement, KAIST
この論文をさがす
説明
While the secure concurrency controllers(SCCs)in multilevel secure database systems(MLS/DBMSs)synchronize transactions cleared at different security levels, they must consider the problem of covert channel. We propose a new SCC, named Verified Order-based secure concurrency controller(VO)that founds on multiversion database. VO maintains elaborated information about ordering relationships among transactions in a way of actively investigating and renewing the ordering relationships whenever it receives operations. With the elaborated information, it becomes capable of aborting transactions selectively whose non-interfered executions definitely violate onecopy serializability and providing more recent data versions to read requests than the other multiversion-based SCCs. Therefore, it comes to reduce the abort ratio and provide data versions of improved trustworthiness to transactions. By virtue of the elaborated information, moreover, VO is able to distinguish worthful versions and worthful transactions from worthless ones, so that it is capable lightening the burdens of maintaining multiple versions and accumulated transaction ordering relationships. For the aborts that are inevitable for preserving one-copy serializability, VO achieves security by deriving the conflicts to occur between transactions that have been cleared at the same security level.
収録刊行物
-
- IEICE transactions on information and systems
-
IEICE transactions on information and systems 83 (5), 1128-1141, 2000-05-25
一般社団法人電子情報通信学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1570009752557633280
-
- NII論文ID
- 110003219870
-
- NII書誌ID
- AA10826272
-
- ISSN
- 09168532
-
- 本文言語コード
- ja
-
- データソース種別
-
- CiNii Articles