Sabina Akhtar

Orcid: 0000-0001-9868-265X

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A formal approach for the identification of redundant authorization policies in Kubernetes.
Comput. Secur., December, 2023

2022
A Blockchain-Based Approach for Secure Data Migration From the Cloud to the Decentralized Storage Systems.
Int. J. Web Serv. Res., 2022

A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud Environments.
J. Grid Comput., 2022

A blockchain based approach for the authorization policies delegation in emergency situations.
Trans. Emerg. Telecommun. Technol., 2022

2021
Formal Specification and Verification of MQTT Protocol in PlusCal-2.
Wirel. Pers. Commun., 2021

2018
Authorization Policies Specification and Consistency Management within Multi-cloud Environments.
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.
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).
PhD thesis, 2012

2010
A High-Level Language for Modeling Algorithms and Their Properties.
Proceedings of the Formal Methods: Foundations and Applications, 2010


  Loading...