Xiaoyu Zheng, Dongmei Liu, Hong Zhu 0002, Ian Bayley. Pattern-Based Approach to Modelling and Verifying System Security. In 14th IEEE International Conference on Service Oriented Systems Engineering, SOSE 2020, Oxford, UK, August 3-6, 2020. pages 92-102, IEEE, 2020. [doi]
Abstract is missing.