publication venue for Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies. 49:102385-102385. 2019 Formal verification of secure information flow in cloud computing. 27-28:103-116. 2016
