Mining and analysing security goal models in health information systems | IEEE Conference Publication | IEEE Xplore