| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 5 |      | Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider: Specifying authentication using signal events in CSP. Computers & Security 28(5): 310-324 (2009) |
| 2006 | ||
| 4 | | Siraj A. Shaikh, Vicky J. Bush: Analysing the Woo-Lam Protocol Using CSP and Rank Functions. Journal of Research and Practice in Information Technology 38(1): (2006) |
| 2005 | ||
| 3 | | Siraj A. Shaikh, Vicky J. Bush, Steve A. Schneider: Specifying Authentication Using Signal Events in CSP. CISC 2005: 63-74 |
| 2 |  | Siraj A. Shaikh, Vicky J. Bush: Analysing the Woo-Lam Protocol Using CSP and Rank Functions. WOSIS 2005: 3-12 |
| 1994 | ||
| 1 | | Kung-Kiu Lau, Vicky J. Bush, Pete J. Jinks: Towards an introductory formal programming course. SIGCSE 1994: 121-125 |
| 1 | Pete J. Jinks | [1] |
| 2 | Kung-Kiu Lau | [1] |
| 3 | Steve A. Schneider (Steve Schneider) | [3] [5] |
| 4 | Siraj Ahmed Shaikh (Siraj A. Shaikh) | [2] [3] [4] [5] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page