See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Formal modeling and verification of security controls for multimedia systems in the cloud

Alam, Masoom; Malik, Saif-ur-Rehman; Javed, Qaisar; Khan, Abid; Khan, Shamaila Bisma; Anjum, Adeel; Javed, Nadeem; Akhunzada, Adnan; Khan, Muhammad Khurram (2017). Formal modeling and verification of security controls for multimedia systems in the cloud. Multimedia Tools and Applications, 76 (21), 22845−22870. DOI: 10.1007/s11042-017-4853-0.
artikkel ajakirjas
Alam, Masoom; Malik, Saif-ur-Rehman; Javed, Qaisar; Khan, Abid; Khan, Shamaila Bisma; Anjum, Adeel; Javed, Nadeem; Akhunzada, Adnan; Khan, Muhammad Khurram
  • Inglise
Multimedia Tools and Applications
DORDRECHT
1380-7501
76
21
76
2017
2284522870
26
Ilmunud
1.1. Teadusartiklid, mis on kajastatud Web of Science andmebaasides Science Citation Index Expanded, Social Sciences Citation Index, Arts & Humanities Citation Index, Emerging Sources Citation Index ja/või andmebaasis Scopus (v.a. kogumikud)
Ei
SCOPUS

Viited terviktekstile

doi.org/10.1007/s11042-017-4853-0

Seotud asutused

Lisainfo

Article
Formal analysis; Formal verification; HLPN; Modeling; SIEM; SMT; Z3