×
模态框（Modal）标题
在这里添加一些文本
Close
Close
Submit
Cancel
Confirm
×
模态框（Modal）标题
×
导航切换
Home
About Journal
Editorial Board
Guide to Authors
Indexed-in
Subscribe
Ethics Standard
Contacts us
中文
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 .
