Formal analysis of confidentiality conditions related to data leakage. - Ibrahim Shiyam (2016)