Ehtesham Zahoor

PeerJ Comput. Sci., 2023

2022

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

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2022

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

[BibT_eX]

[DOI]

J. Grid Comput., 2022

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

[BibT_eX]

[DOI]

Syed Noman Ali Sherazi

Sabina Akhtar

Trans. Emerg. Telecommun. Technol., 2022

2021

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

[BibT_eX]

[DOI]

Sabina Akhtar

Wirel. Pers. Commun., 2021

2019

Shadowed Authorization Policies - A Disaster Waiting to Happen?

[BibT_eX]

[DOI]

Uzma Bibi

Proceedings of the Web Information Systems Engineering - WISE 2019, 2019

2018

Secure and Fault-Tolerant Distributed Location Management for Intelligent 5G Wireless Networks.

[BibT_eX]

[DOI]

IEEE Access, 2018

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

[BibT_eX]

[DOI]

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

2017

A Formal Approach for the Verification of AWS IAM Access Control Policies.

[BibT_eX]

[DOI]

Zubaria Asma

Proceedings of the Service-Oriented and Cloud Computing, 2017

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

[BibT_eX]

[DOI]

Sabina Akhtar

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

2016

CRC2: A Mediator Based Approach for Cloud Robotics.

[BibT_eX]

[DOI]

Saima Noreen

Proceedings of the IEEE World Congress on Services, 2016

2015

Trust-Based Formal Delegation Framework for Enterprise Social Networks.

[BibT_eX]

[DOI]

Ahmed Bouchami

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

2014

CATT: A cloud based authorization framework with trust and temporal aspects.

[BibT_eX]

[DOI]

Ahmed Bouchami

Proceedings of the 10th IEEE International Conference on Collaborative Computing: Networking, 2014

2013

A Bounded Model Checking Approach for the Verification of Web Services Composition.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2013

2012

Web Services Composition Verification Using Satisfiability Solving.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011

Web services governance : Security and Data handling aspects. (Gouvernance de service : aspects sécurité et données).

[BibT_eX]

[DOI]

PhD thesis, 2011

A logical framework for reasoning about delegation policies in workflow management systems.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2011

An Event-Based Reasoning Approach to Web Services Monitoring.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2011

2010

DISC: A Declarative Framework for Self-Healing Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE European Conference on Web Services (ECOWS 2010), 2010

Dynamic Authorisation Policies for Event-Based Task Delegation.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 22nd International Conference, 2010

2009

An Integrated Declarative Approach to Web Services Composition and Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Web Information Systems Engineering, 2009

Rule-Based Semi Automatic Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE Congress on Services, Part I, 2009

2008

Mashup Model and Verification Using Mashup Processing Network.

[BibT_eX]

[DOI]