Specification and verification method for security policy in multi-domain cloud systems
CAI Ting, CAI Yu, OUYANG Kai
Journal of Computer Applications . 2016, (7): 1834 -1840 .  DOI: 10.11772/j.issn.1001-9081.2016.07.1834