.png){kind=icon}
返回
DATABASE CONCURRENCY-CONTROL IN MULTILEVEL SECURE DATABASE-MANAGEMENT SYSTEMS
.png){kind=icon}
PRE
AI
DOI：10.1109/69.250090.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Transactions are vital for database management systems (DBMSs) because they provide transparency to concurrency and failure. Concurrent execution of transactions may lead to contention for access to data, which in a multilevel secure DBMS (MLS/DBMS) may lead to insecurity. In this paper we examine security issues involved in database concurrency control for MLS/DBMSs and show how a scheduler can affect security. We introduce Data Conflict Security, (DC-Security) a property that implies a system is free of convert channels due to contention for access to data. We present a definition of DC-Security based on noninterference. Two properties that constitute a necessary condition for DC-Security are introduced along with two other simpler necessary conditions. We have identified a class of schedulers we call Output-State-Equivalent for which another criterion implies DC-Security. The criterion considers separately the behavior of the scheduler in response to those inputs that cause rollback a:nd those that do not. We characterize the security properties of several existing scheduling protocols and find many to be insecure.
Keyword:
COVERT CHANNEL ANALYSIS
DATABASE CONCURRENCY CONTROL
MULTILEVEL SECURE DATABASE MANAGEMENT SYSTEMS
MULTILEVEL SECURITY
MULTIVERSION CONCURRENCY CONTROL
NONINTERFERENCE
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
10.4
论文数:
6.9K
被引数:
3.2W
机构
暂无机构信息
引用论文
An Alternative Method to Produce Shikimic Acid Chemical Feedstock by Applying Glyphosate to Forage Crops.png)
Crop Science
Crop ScienceIF0
PREAI
分享收藏
查看更多内容