Pattern-Based Approach to Modelling and Verifying System Security

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]

Authors

Xiaoyu Zheng

This author has not been identified. Look up 'Xiaoyu Zheng' in Google

Dongmei Liu

This author has not been identified. Look up 'Dongmei Liu' in Google

Hong Zhu 0002

This author has not been identified. Look up 'Hong Zhu 0002' in Google

Ian Bayley

This author has not been identified. Look up 'Ian Bayley' in Google