Research of BLP and Biba dynamic union model based on check domain | IEEE Conference Publication | IEEE Xplore