Treffer 1 - 2 von 2 für Suche 'Tabbasum, Saher', Suchdauer: 0,58s Treffer weiter einschränken
  1. 1
    A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification

    A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification von Alam, Quratulain, Malik, Saif U. R., Akhunzada, Adnan, Choo, Kim-Kwang Raymond, Tabbasum, Saher, Alam, Masoom


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Formal Verification of the xDAuth Protocol

    Formal Verification of the xDAuth Protocol von Alam, Quratulain, Tabbasum, Saher, Malik, Saif U. R., Alam, Masoom, Ali, Tamleek, Akhunzada, Adnan, Khan, Samee U., Vasilakos, Athanasios V., Buyya, Rajkumar


    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: