| |
| 2005 | ||
|---|---|---|
| 1 | EE | Tao Song, Calvin Ko, Chinyang Henry Tseng, Poornima Balasubramanyam, Anant Chaudhary, Karl N. Levitt: Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks. Formal Aspects in Security and Trust 2005: 16-33 |
| 1 | Poornima Balasubramanyam | [1] |
| 2 | Calvin Ko | [1] |
| 3 | Karl N. Levitt | [1] |
| 4 | Tao Song | [1] |
| 5 | Chinyang Henry Tseng | [1] |