Items where Author is "Haidar, Ali Nasrat"

Up a level
Export as [feed] RSS
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 Wed May 15 23:44:55 2024 UTC.

Research

In this section...