| |
| 2009 | ||
|---|---|---|
| 3 | EE | Ali Nasrat Haidar, Ali E. Abdallah: Formal Modelling of PKI Based Authentication. Electr. Notes Theor. Comput. Sci. 235: 55-70 (2009) |
| 2008 | ||
| 2 | EE | 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 | EE | Ali Nasrat Haidar, Ali E. Abdallah: Composition of Web Services Using Wrappers. ISoLA 2008: 862-865 |
| 1 | Ali E. Abdallah | [1] [2] [3] |