Formal modeling and verification of security controls for multimedia systems in the cloud
Crossref DOI link: https://doi.org/10.1007/s11042-017-4853-0
Published Online: 2017-07-07
Published Print: 2017-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Alam, Masoom
Malik, Saif-ur-Rehman
Javed, Qaisar
Khan, Abid
Khan, Shamaila Bisma
Anjum, Adeel
Javed, Nadeem
Akhunzada, Adnan
Khan, Muhammad Khurram
License valid from 2017-07-07