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

Up a level
Export as [feed] RSS
Group by: Creators | Item Type | No Grouping
Jump to: Book Section
Number of items: 2.

Book Section

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

This list was generated on Mon Mar 20 04:00:34 2023 UTC.

Research

In this section...