A Flexible Read-Write Abortion Protocol with Sensitivity of Objects to Prevent Illegal Information Flow | IEEE Conference Publication | IEEE Xplore