Browse by Type

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

Abdallah, Ali E. and Khayat, Etienne J. (2006) Formal Z Specifications of Several Flat Role-Based Access Control Models. In: 2006 30th Annual IEEE/NASA Software Engineering Workshop. IEEE Conference Publications, pp. 282-292. ISBN 0-7695-2624-1

Kehoe, Andrew (2006) Diachronic linguistic analysis on the web with WebCorp. In: The Changing Face of Corpus Linguistics. Language and Computers, 55 . Brill | Rodopi, Leiden, pp. 297-307. ISBN 9789401201797