Items where Author is "Hu, Vincent C."

Journal Article

Gouglidis, Antonios and Mavridis, Ioannis and Hu, Vincent C. (2014) Security policy verification for multi-domains in cloud systems. International Journal of Information Security, 13 (2). pp. 97-111. ISSN 1615-5262

Contribution in Book/Report/Proceedings

Gouglidis, Antonios and Hu, Vincent C. and Busby, Jeremy Simon and Hutchison, David (2017) Verification of Resilience Policies that Assist Attribute Based Access Control. In: ABAC '17 Proceedings of the 2nd ACM Workshop on Attribute-Based Access Control :. ACM, USA, pp. 43-52. ISBN 9781450349109

Gouglidis, Antonios and Mavridis, Ioannis and Hu, Vincent C. (2013) Verification of secure inter-operation properties in multi-domain RBAC systems. In: Software Security and Reliability-Companion (SERE-C), 2013 IEEE 7th International Conference on :. IEEE, GBR, pp. 35-44. ISBN 9781479929245

Monograph

Gouglidis, Antonios and Kagia, Anna and Hu, Vincent C. (2023) Model Checking Access Control Policies : A Case Study using Google Cloud IAM. Other. Arxiv.

Other

Hu, Vincent C. and Iorga, Michaela and Bao, Wei and Li, Ang and Li, Qinghua and Gouglidis, Antonios (2020) General Access Control Guidance for Cloud Systems : SP 800-210(Draft). Computer Security Resource Center.