云系统中多域安全策略规范与验证方法

蔡婷, 蔡宇, 欧阳凯

Specification and verification method for security policy in multi-domain cloud systems

CAI Ting, CAI Yu, OUYANG Kai

计算机应用 . 2016, (7): 1834 -1840 . DOI: 10.11772/j.issn.1001-9081.2016.07.1834