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

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

A

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

H

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 Sat Oct 16 08:42:28 2021 UTC.

Research

In this section...