Read-abortion (RA) based synchronization protocols to prevent illegal information flow

作者：

Highlights：

• We propose RA-RBS and RA-OBS protocols.

• More than half of read operations are illegal without information flow control.

• No illegal information flow occur but some transactions are aborted in the protocols.

• The abortion ratio in the RA-OBS protocol is smaller than the RA-RBS protocol.

摘要

•We propose RA-RBS and RA-OBS protocols.•More than half of read operations are illegal without information flow control.•No illegal information flow occur but some transactions are aborted in the protocols.•The abortion ratio in the RA-OBS protocol is smaller than the RA-RBS protocol.

论文关键词：Role-based access control (RBAC) model,Information flow control,Read-abortion role-based synchronization (RA-RBS) protocol,Read-abortion object-based synchronization (RA-OBS) protocol

论文评审过程：Received 1 July 2014, Revised 14 December 2014, Accepted 14 December 2014, Available online 23 December 2014, Version of Record 25 August 2015.

论文官网地址：https://doi.org/10.1016/j.jcss.2014.12.020