Saher Tabbasum

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 2

Top Topics

Formal Specification

Dynamic Access Control

Top Venues

IEEE Trans. Inf. Forensics Secur.

Publications

Quratulain Alam, Saif Ur Rehman Malik, Adnan Akhunzada, Kim-Kwang Raymond Choo, Saher Tabbasum, Masoom Alam
A Cross Tenant Access Control (CTAC) Model for Cloud Computing: Formal Specification and Verification. IEEE Trans. Inf. Forensics Secur. 12 (6) (2017)
Quratulain Alam, Saher Tabbasum, Saif Ur Rehman Malik, Masoom Alam, Tamleek Ali, Adnan Akhunzada, Samee Ullah Khan, Athanasios V. Vasilakos, Rajkumar Buyya
Formal Verification of the xDAuth Protocol. IEEE Trans. Inf. Forensics Secur. 11 (9) (2016)