Vicky J. Bush

According to our database, Vicky J. Bush authored at least 3 papers between 1994 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Specifying authentication using signal events in CSP.

Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider

Comput. Secur., 2009

2006

Analysing the Woo-Lam Protocol Using CSP and Rank Functions.

Siraj A. Shaikh, Vicky J. Bush

J. Res. Pract. Inf. Technol., 2006

1994

Towards an introductory formal programming course.

Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks

Proceedings of the 25th SIGCSE Technical Symposium on Computer Science Education, 1994