Formal Verification of Mandatory Access Control for Database Management Systems
ZHU Yi,ZHU Hong,XIE Mei-yi,FENG Yu-cai
Journal of Chinese Computer Systems . 2015, (3): 401 -407 .