Items where Gloucestershire Author is "Bush, Vicky"

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.

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

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.