Formal modeling and verification of security controls for multimedia systems in the cloud.
Masoom AlamSaif Ur Rehman MalikQaisar JavedAbid KhanShamaila Bisma KhanAdeel AnjumNadeem JavedAdnan AkhunzadaMuhammad Khurram KhanPublished in: Multim. Tools Appl. (2017)
Keyphrases
- multimedia systems
- formal methods
- multimedia
- intelligent multimedia
- multimedia processing
- information retrieval
- information retrieval systems
- digital libraries
- video data
- recent advances
- multimedia information retrieval
- multimedia information
- nearest neighbor
- data processing
- model checking
- multimedia data
- data analysis