Author

Sabina Akhtar

Observed institutions: Institut national de recherche en sciences et technologies du numérique, Laboratoire Lorrain de Recherche en Informatique et ses Applications, Centre Inria de l'Université de Lorraine, Bahria University, Université de Lorraine

ORCID: 0000-0001-9868-265X

Observed ORCID: 0000-0001-9868-265X

OpenAlex ID: A5029040498

Formal Specification and Verification of MQTT Protocol in PlusCal-2

2021 · Sabina Akhtar, Ehtesham Zahoor · Wireless Personal Communications · 13

Authorization Policies Specification and Consistency Management within Multi-cloud Environments

2018 · Ehtesham Zahoor, Asim Ikram, et al. · Lecture notes in computer science · 12

A formal approach for the identification of redundant authorization policies in Kubernetes

2023 · Ehtesham Zahoor, Maryam Chaudhary, et al. · Computers & Security · 10

A blockchain based approach for the authorization policies delegation in emergency situations

2022 · Syed Noman Ali Sherazi, Ehtesham Zahoor, et al. · Transactions on Emerging Telecommunications Technologies · 8

A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud Environments

2022 · Ehtesham Zahoor, Asim Ikram, et al. · Journal of Grid Computing · 7

A High-Level Language for Modeling Algorithms and Their Properties

2011 · Sabina Akhtar, Stephan Merz, et al. · Lecture notes in computer science · 7

A Blockchain-Based Approach for Secure Data Migration From the Cloud to the Decentralized Storage Systems

2022 · Hooria Khan, Ehtesham Zahoor, et al. · International Journal of Web Services Research · 5

PDF

Formal Verification of Authorization Policies for Enterprise Social Networks Using PlusCal-2

2018 · Sabina Akhtar, Ehtesham Zahoor, et al. · Lecture notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering · 4

Safe and Secure Communication between Two Cyber-Physical Systems: A Framework for Security

2021 · Shahbaz Ali Imran, Sabina Akhtar · Studies in systems, decision and control · 2

Formal Verification of distributed algorithms using PlusCal-2

2012 · Sabina Akhtar · theses.fr (ABES) · 1

PDF

Extending PlusCal: A Language for Describing Concurrent and Distributed Algorithms

2010 · Sabina Akhtar, Stephan Merz, et al. · HAL

Formal Verification of Distributed Algorithms in +CAL 2.0

2008 · Sabina Akhtar · HAL

Works count: 12

Citation count: 69

H-index: 6

I10-index: 3