Implementation of covert channel within bounds of BLP security model