Items where Division is "Faculty of Computing, Engineering and the Built Environment" and Year is 2006
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
Atkins, A.S. and Ali, A.H. and Shah, H. (2006) Extending e-business applications using mobile technology. In: The 3rd international Conference on Mobile Technology, Applications &Amp; Systems.
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
J
Jaffar, A. and Shah, H. (2006) Eliciting Essential Theoretical Principles in Representing Business Process Models. In: 14th European Conference on Information Systems ECIS 2006, June 2006, Goteburg, Sweden.