Influential Abortion Probability in a Flexible Read-Write Abortion Protocol

Abstract

Data in an object may flow into another object if transactions read and write data in the objects. A transaction illegally reads data in an object if the object includes data in other objects which are not allowed to be read. In our previous studies, the flexible read-write-abortion with role sensitivity (FRWA-R), object sensitivity (FRWA-O), and role safety (FRWA-RS) protocols are proposed to prevent illegal information flow. Here, a transaction aborts with some probability once illegally reading data in an object. The abortion probability of a transaction depends on the sensitivities of roles which the transaction holds and objects in which the transaction illegally reads data. The safety of a role and object shows how many transactions which hold the role and illegally read data in the object commit or abort after illegally reading data in the object, respectively. Here, safety of a role which increases and decreases by constant values as a transaction holding the role aborts and commits, respectively. Based on the safety concept, we newly propose an influential abortion probability of a transaction where the abortion probability depends on not only roles held by the transaction but also the previous abortion probability. In this paper, we newly propose an FRWA with the influential abortion probability (FRWA-IAP) protocol. In the evaluation, we show a fewer number of transactions abort in the FRWA-IAP protocol than the RWA and FRWA-RS protocols while transactions are more efficiently performed than the WA protocol.