![]() | Up a level |
Alam, Abu S and Bush, Vicky J ORCID: 0000-0002-8733-4358
(2016)
HASKEU: An editor to support visual and textual programming in tandem.
Proceedings of the 2016 SAI Computing Conference.
pp. 805-814.
Siraj, A. Shaikh, Bush, Vicky J ORCID: 0000-0002-8733-4358 and Schneider, Steve A
(2009)
Specifying authentication using signal events in CSP.
Computers and Security, 28 (5).
pp. 310-324.
doi:10.1007/11599548_6
Shaikh, SA ORCID: 0000-0002-0726-3319 and Bush, Vicky J
ORCID: 0000-0002-8733-4358
(2006)
Analysing the Woo-Lam protocol using CSP and rank functions.
Journal of Research and Practice in Information Technology, 38 (1).
pp. 19-29.
Bush, Vicky J ORCID: 0000-0002-8733-4358
(2005)
Assessment: case studies, experience and practice
from higher education Peter Schwartz & Graham Webb (eds)
London: Kogan Page, 2002.
Learning and Teaching in Higher Education (1).
pp. 129-131.
Shaikh, SA ORCID: 0000-0002-0726-3319, Bush, Vicky J
ORCID: 0000-0002-8733-4358 and Schneider, S.A.
(2005)
Specifying authentication using signals events in CSP.
In: Conference on Information Security and Cryptology (CISC'2005), volume 3822 of Lecture Notes in Computer Science, Beijing, China..
ISBN 3-540-30855-5