Sabina Akhtar

According to our database, Sabina Akhtar authored at least 9 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

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

Ehtesham Zahoor, Maryam Chaudhary, Sabina Akhtar, Olivier Perrin

Comput. Secur., December, 2023

2022

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

Hooria Khan, Ehtesham Zahoor, Sabina Akhtar, Olivier Perrin

Int. J. Web Serv. Res., 2022

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

Ehtesham Zahoor, Asim Ikram, Sabina Akhtar, Olivier Perrin

J. Grid Comput., 2022

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

Syed Noman Ali Sherazi, Ehtesham Zahoor, Sabina Akhtar, Olivier Perrin

Trans. Emerg. Telecommun. Technol., 2022

2021

Formal Specification and Verification of MQTT Protocol in PlusCal-2.

Sabina Akhtar, Ehtesham Zahoor

Wirel. Pers. Commun., 2021

2018

Authorization Policies Specification and Consistency Management within Multi-cloud Environments.

Ehtesham Zahoor, Asim Ikram, Sabina Akhtar, Olivier Perrin

Proceedings of the Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, 2018

2017

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

Sabina Akhtar, Ehtesham Zahoor, Olivier Perrin

Proceedings of the Collaborative Computing: Networking, Applications and Worksharing, 2017

2012

Formal Verification of Distributed Algorithms using PlusCal-2. (Vérification Formelle d'Algorithmes Distribués en PlusCal-2).

Sabina Akhtar

PhD thesis, 2012

2010

A High-Level Language for Modeling Algorithms and Their Properties.

Sabina Akhtar, Stephan Merz, Martin Quinson

Proceedings of the Formal Methods: Foundations and Applications, 2010