检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]华中科技大学计算机学院,武汉430074 [2]华南理工大学计算机软件学院,广州510006
出 处:《微计算机应用》2006年第4期503-506,共4页Microcomputer Applications
基 金:国防武器装备顾先研究项目(413150403);国防预研基金项目(51415030203JW05);中国博士后科学基金项目(2003034482);华中科技大学博士后科学基金项目(2003021)资助
摘 要:首先在分析嵌入式实时数据库安全要求的基础上,给出了一个三层安全控制模型。然后提出一种安全乐观并发控制策略。该策略采取向前验证策略检查是否发生冲突,当事务执行到验证阶段,当可能出现违背安全要求时,则分别计算提交或夭折被验证事务所引起违背安全及实时要求的严重程度,以决定是否提交或夭折被验证事务。该策略具有较大的灵活性,用户可根据系统的安全要求和实时特征动态调整产生隐通道严重程度及超截止期严重程度的权值以适应不同要求。This passage bulids a secure control model with three layers on the ERTDB security requirements firstly, and then proposes a secure optimistic concurrency control strategy. It takes FV(Forward Validation) strategy to test the conflict. In the validation phase, when there will be a security conflict, we calculate the violation severity of security and timeless respectively which proceeded from aborting or committing the validating transaction , and then makes decision according to the result. This strategy is comparatively flexible, users can adjust the weight of covert channel and missing deadline severity dynamically so as to meet different timeless and security requirement of the system.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222