Ehtesham Zahoor

25 papers A 4B 3C 3Journal 9Unranked 5

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A formal approach for the identification of redundant authorization policies in Kubernetes. Comput. Secur. Ehtesham Zahoor, Maryam Chaudhary, Sabina Akhtar, Olivier Perrin
2023	J	`jnl`	TTECCDU: a blockchain-based approach for expressive authorization management. PeerJ Comput. Sci. Uzma Mahar, Muhammad Aleem, Ehtesham Zahoor
2022	J	`jnl`	A Blockchain-Based Approach for Secure Data Migration From the Cloud to the Decentralized Storage Systems. Int. J. Web Serv. Res. Hooria Khan, Ehtesham Zahoor, Sabina Akhtar, Olivier Perrin
2022	J	`jnl`	A Formal Approach for the Identification of Authorization Policy Conflicts within Multi-Cloud Environments. J. Grid Comput. Ehtesham Zahoor, Asim Ikram, Sabina Akhtar, Olivier Perrin
2022	J	`jnl`	A blockchain based approach for the authorization policies delegation in emergency situations. Trans. Emerg. Telecommun. Technol. Syed Noman Ali Sherazi, Ehtesham Zahoor, Sabina Akhtar, Olivier Perrin
2021	J	`jnl`	Formal Specification and Verification of MQTT Protocol in PlusCal-2. Wirel. Pers. Commun. Sabina Akhtar, Ehtesham Zahoor
2019	B	`conf`	Shadowed Authorization Policies - A Disaster Waiting to Happen? WISE Ehtesham Zahoor, Uzma Bibi, Olivier Perrin
2018	—	`conf`	Authorization Policies Specification and Consistency Management within Multi-cloud Environments. NordSec Ehtesham Zahoor, Asim Ikram, Sabina Akhtar, Olivier Perrin
2018	J	`jnl`	Secure and Fault-Tolerant Distributed Location Management for Intelligent 5G Wireless Networks. IEEE Access Kashif Munir, Ehtesham Zahoor, Rafia Rahim, Xavier Lagrange, Jong-Hyouk Lee
2017	—	`conf`	A Formal Approach for the Verification of AWS IAM Access Control Policies. ESOCC Ehtesham Zahoor, Zubaria Asma, Olivier Perrin
2017	C	`conf`	Formal Verification of Authorization Policies for Enterprise Social Networks Using PlusCal-2. CollaborateCom Sabina Akhtar, Ehtesham Zahoor, Olivier Perrin
2016	B	`conf`	CRC2: A Mediator Based Approach for Cloud Robotics. SERVICES Saima Noreen, Ehtesham Zahoor
2015	—	`conf`	Trust-Based Formal Delegation Framework for Enterprise Social Networks. TrustCom/BigDataSE/ISPA (1) Ahmed Bouchami, Olivier Perrin, Ehtesham Zahoor
2014	C	`conf`	CATT: A cloud based authorization framework with trust and temporal aspects. CollaborateCom Ehtesham Zahoor, Olivier Perrin, Ahmed Bouchami
2013	J	`jnl`	A Bounded Model Checking Approach for the Verification of Web Services Composition. Int. J. Web Serv. Res. Ehtesham Zahoor, Kashif Munir, Olivier Perrin, Claude Godart
2012	A	`conf`	Web Services Composition Verification Using Satisfiability Solving. ICWS Ehtesham Zahoor, Olivier Perrin, Claude Godart
2011	J	`jnl`	A logical framework for reasoning about delegation policies in workflow management systems. Int. J. Inf. Comput. Secur. Khaled Gaaloul, Henderik Alex Proper, Ehtesham Zahoor, François Charoy, Claude Godart
2011	A	`conf`	An Event-Based Reasoning Approach to Web Services Monitoring. ICWS Ehtesham Zahoor, Olivier Perrin, Claude Godart
2011	—	`—`	Web services governance : Security and Data handling aspects. (Gouvernance de service : aspects sécurité et données). Ehtesham Zahoor
2010	—	`conf`	DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition. ECOWS Ehtesham Zahoor, Olivier Perrin, Claude Godart
2010	A	`conf`	DISC: A Declarative Framework for Self-Healing Web Services Composition. ICWS Ehtesham Zahoor, Olivier Perrin, Claude Godart
2010	A	`conf`	Dynamic Authorisation Policies for Event-Based Task Delegation. CAiSE Khaled Gaaloul, Ehtesham Zahoor, François Charoy, Claude Godart
2009	B	`conf`	An Integrated Declarative Approach to Web Services Composition and Monitoring. WISE Ehtesham Zahoor, Olivier Perrin, Claude Godart
2009	—	`conf`	Rule-Based Semi Automatic Web Services Composition. SERVICES I Ehtesham Zahoor, Olivier Perrin, Claude Godart
2008	C	`conf`	Mashup Model and Verification Using Mashup Processing Network. CollaborateCom Ehtesham Zahoor, Olivier Perrin, Claude Godart