Vicky J. Bush

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
Specifying authentication using signal events in CSP. Comput. Secur. 28 (5) (2009)
Siraj A. Shaikh, Vicky J. Bush
Analysing the Woo-Lam Protocol Using CSP and Rank Functions. J. Res. Pract. Inf. Technol. 38 (1) (2006)
Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider
Specifying Authentication Using Signal Events in CSP. CISC (2005)
Siraj A. Shaikh, Vicky J. Bush
Analysing the Woo-Lam Protocol Using CSP and Rank Functions. WOSIS (2005)
Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks
Towards an introductory formal programming course. SIGCSE (1994)