 | 2010 |
| 7 |  | Ali Nasrat Haidar,
Stefan J. Zasada,
Peter V. Coveney,
Ali E. Abdallah,
Bruce Beckles:
Audited credential delegation - a user-centric identity management solution for computational grid environments.
IAS 2010: 222-227 |
| 2009 |
| 6 |  | Ali Nasrat Haidar,
Peter V. Coveney,
Ali E. Abdallah,
Peter Y. A. Ryan,
Bruce Beckles,
J. M. Brooke,
M. A. S. Jones:
Formal Modelling of a Usable Identity Management Solution for Virtual Organisations
FAVO 2009: 41-50 |
| 5 |  | Ali Nasrat Haidar,
Ali E. Abdallah:
Abstractions of Web Services.
ICECCS 2009: 182-191 |
| 4 |  | Ali Nasrat Haidar,
Ali E. Abdallah:
Formal Modelling of PKI Based Authentication.
Electr. Notes Theor. Comput. Sci. 235: 55-70 (2009) |
| 2008 |
| 3 |  | Ali Nasrat Haidar,
Ali E. Abdallah:
Comparison and Evaluation of Identity Management in Three Architectures for Virtual Organizations.
IAS 2008: 21-26 |
| 2 |  | Ali Nasrat Haidar,
Ali E. Abdallah:
Weaving Authentication and Authorization Requirements into the Functional Model of a System Using Z Promotion.
ISoLA 2008: 831-846 |
| 1 |  | Ali Nasrat Haidar,
Ali E. Abdallah:
Composition of Web Services Using Wrappers.
ISoLA 2008: 862-865 |