Read-abortion (RA) based synchronization protocols to prevent illegal information flow
Read-abortion (RA) based synchronization protocols to prevent illegal information flow
复制标题
基于读中止(RA)的同步协议,防止非法信息流
DOI:
10.1016/j.jcss.2014.12.020
复制
发表时间:
2015
期刊:
影响因子:
--
通讯作者:
M. Takizawa
中科院分区:
文献类型:
--
作者:
Shigenari Nakamura;Dilawaer Duolikun;M. Takizawa
In information systems, data in an object may illegally flow into another object through manipulations of the objects. First, we define a legal information flow relation r i⇒ r j among roles r i and r j. It means, if a subject granted the role r i manipulates objects before another subject granted the role r j, no illegal information flow occur. We discuss safe systems where no illegal information flow occur even if operations from different subjects are performed in any order. Then, we discuss a read-abortion role-based synchronization (RA-RBS) protocol and a read-abortion object-based synchronization (RA-OBS) protocol to prevent illegal information flow in unsafe systems. Here, a transaction is aborted if the transaction reads an object and illegal information flow might occur. We evaluate the RA-RBS and RA-OBS protocols in terms of number of transactions aborted.
影响因子:
5
作者:
Enokido;T;Barolli;V.;and Takizawa;M.
通讯作者:
M.