| |
| 2006 | ||
|---|---|---|
| 1 | EE | Sarah Damiani, Christopher Griffin, Shashi Phoha, Stephan Racunas, Christopher Rogan: Verification of Secure Network Protocols in Uncertain Environments. IJWIN 13(3): 221-228 (2006) |
| 1 | Sarah Damiani | [1] |
| 2 | Christopher Griffin | [1] |
| 3 | Shashi Phoha | [1] |
| 4 | Christopher Rogan | [1] |