| 2009 | ||
|---|---|---|
| 4 | Ali Nasrat Haidar, Ali E. Abdallah: Abstractions of Web Services. ICECCS 2009: 182-191 | |
| 3 | Ali Nasrat Haidar, Ali E. Abdallah: Formal Modelling of PKI Based Authentication. Electr. Notes Theor. Comput. Sci. 235: 55-70 (2009) | |
| 2008 | ||
| 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 | |
| 1 | Ali E. Abdallah | [1] [2] [3] [4] |