Ali Nasrat Haidar

According to our database, Ali Nasrat Haidar authored at least 13 papers between 2008 and 2014.

Collaborative distances:

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

2014

Flexible composition and execution of large scale applications on distributed e-infrastructures.

Stefan J. Zasada, David Chan-Wei Chang, Ali Nasrat Haidar, Peter V. Coveney

J. Comput. Sci., 2014

2013

A data infrastructure reference model with applications: towards realization of a ScienceTube vision with a data replication service.

Morris Riedel, Peter Wittenburg, Johannes Reetz, Mark van de Sanden, Jedrzej Rybicki, Benedikt von St. Vieth, Giuseppe Fiameni, Giacomo Mariani, Alberto Michelini, Claudio Cacciari, Willem Elbers, Daan Broeder, Robert Verkerk, Elena Erastova, Michael Lautenschlaeger, Reinhard Budig, Hannes Thiemann, Peter V. Coveney, Stefan J. Zasada, Ali Nasrat Haidar, Otto Buechner, Cristina Manzano, A. Shiraz Memon, Ahmed Shiraz Memon, Heikki Helin, Jari Suhonen, Damien Lecarpentier, Kimmo Koski, Thomas Lippert

J. Internet Serv. Appl., 2013

2012

IMENSE: An e-infrastructure environment for patient specific multiscale data integration, modelling and clinical treatment.

Stefan J. Zasada, Tao Wang, Ali Nasrat Haidar, Enjie Liu, Norbert M. Graf, Gordon Clapworthy, Steven Manos, Peter V. Coveney

J. Comput. Sci., 2012

A Comparative Analysis of the Usability and Legal Implications of Different Patient Data Sharing Architectures.

Stefan J. Zasada, Ali Nasrat Haidar, Peter V. Coveney

Proceedings of the AMIA 2012, 2012

2011

Audited credential delegation: a usable identity management solution for grid environments.

Stefan J. Zasada, Ali Nasrat Haidar, Peter V. Coveney

Proceedings of the 2011 TeraGrid Conference - Extreme Digital Discovery, 2011

2010

Audited credential delegation - a user-centric identity management solution for computational grid environments.

Ali Nasrat Haidar, Stefan J. Zasada, Peter V. Coveney, Ali E. Abdallah, Bruce Beckles

Proceedings of the Sixth International Conference on Information Assurance and Security, 2010

2009

Formal Modelling of a Usable Identity Management Solution for Virtual Organisations

Ali Nasrat Haidar, Peter V. Coveney, Ali E. Abdallah, Peter Y. A. Ryan, Bruce Beckles, J. M. Brooke, M. A. S. Jones

Proceedings of the Proceedings Second Workshop on Formal Aspects of Virtual Organisations, 2009

Abstractions of Web Services.

Ali Nasrat Haidar, Ali E. Abdallah

Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems, 2009

2008

Formal Modelling of PKI Based Authentication.

Ali Nasrat Haidar, Ali E. Abdallah

Proceedings of the 4th International Workshop on Automated Specification and Verification of Web Systems, 2008

Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP.

Ali Nasrat Haidar, Ali E. Abdallah

Proceedings of the 32nd Annual IEEE Software Engineering Workshop, 2008

Composition of Web Services Using Wrappers.

Ali Nasrat Haidar, Ali E. Abdallah

Proceedings of the Leveraging Applications of Formal Methods, 2008

Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.

Ali Nasrat Haidar, Ali E. Abdallah

Proceedings of the Leveraging Applications of Formal Methods, 2008

Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations.

Ali Nasrat Haidar, Ali E. Abdallah

Proceedings of the Proccedings of the Fourth International Conference on Information Assurance and Security, 2008