Items where Division is "Faculty of Computing, Engineering and the Built Environment > School of Computing and Digital Technology > Networks and Cyber Security" and Year is 2006

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

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