Vicky J. Bush

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

Collaborative distances:

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

2005

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

Siraj A. Shaikh, Vicky J. Bush

Proceedings of the Security in Information Systems, 2005

Specifying Authentication Using Signal Events in CSP.

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

Proceedings of the Information Security and Cryptology, First SKLOIS Conference, 2005

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