read and write performs under BLP constraints