| |
| 2007 | ||
|---|---|---|
| 3 | EE | Saad Zafar, Robert Colvin, Kirsten Winter, Nisansala Yatapanage, R. Geoff Dromey: Early Validation and Verification of a Distributed Role-Based Access Control Model. APSEC 2007: 430-437 |
| 2006 | ||
| 2 | EE | Elankayer Sithirasenan, Saad Zafar, Vallipuram Muthukkumarasamy: Formal Verification of the IEEE 802.11i WLAN Security Protocol. ASWEC 2006: 181-190 |
| 2005 | ||
| 1 | EE | Saad Zafar, R. Geoff Dromey: Integrating Safety and Security Requirements into Design of an Embedded System. APSEC 2005: 629-636 |
| 1 | Robert Colvin | [3] |
| 2 | R. Geoff Dromey | [1] [3] |
| 3 | Vallipuram Muthukkumarasamy | [2] |
| 4 | Elankayer Sithirasenan | [2] |
| 5 | Kirsten Winter | [3] |
| 6 | Nisansala Yatapanage | [3] |