Formal modeling and verification of security controls for multimedia systems in the cloud. - Masoom Alam; Saif Ur Rehman Malik; Qaisar Javed; Abid Khan; Shamaila Bisma Khan; Adeel Anjum; Nadeem Javed; Adnan Akhunzada; Muhammad Khurram Khan (Multim. Tools Appl., 2017)