Quratulain Alam

Publication Activity (10 Years)

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

Top Topics

Policy Enforcement

Formal Specification

Internet Services

Top Venues

IEEE Trans. Inf. Forensics Secur.

Multim. Tools Appl.

Pers. Ubiquitous Comput.

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)
Masoom Alam, Xinwen Zhang, Mohammad Nauman, Tamleek Ali, Muhammad Ali, Sajid Anwar, Quratulain Alam
Behavioral Attestation for Web Services using access policies. Multim. Tools Appl. 66 (2) (2013)
Hammad Banuri, Masoom Alam, Shahryar Khan, Jawad Manzoor, Bahar Ali, Yasar Khan, Mohsin Yaseen, Mir Nauman Tahir, Tamleek Ali, Quratulain Alam, Xinwen Zhang
An Android runtime security policy enforcement framework. Pers. Ubiquitous Comput. 16 (6) (2012)
Masoom Alam, Xinwen Zhang, Mohammad Nauman, Sohail Khan, Quratulain Alam
MAuth: A Fine-Grained and User-centric Permission Delegation Framework for Multi-mashup Web Services. SERVICES (2010)