Items where Author is "Haidar, Ali Nasrat"

[up] Up a level
Group by: Item Type | No Grouping
Jump to: Article | Book Section
Number of items: 3.

Article

Haidar, Ali Nasrat and Abdallah, Ali E. (2009) Formal Modelling of PKI Based Authentication. Electronic Notes in Theoretical Computer Science, 235. pp. 55-70. ISSN 15710661

Book Section

Haidar, Ali Nasrat and Abdallah, Ali E. (2008) Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP. In: Software Engineering Workshop, 2008. SEW '08. 32nd Annual IEEE. IEEE Conference Publications, pp. 187-194. ISBN 978-0-7695-3617-0

Haidar, Ali Nasrat and Abdallah, Ali E. (2006) Towards a Formal Framework for Developing Secure Web Services. In: Automated Specification and Verification of Web Systems, 2006. WWV '06. 2nd International Workshop. IEEE Conference Publications, pp. 61-70. ISBN 0-7695-2826-0

This list was generated on Fri Apr 25 19:22:33 2025 UTC.

Research

In this section...