 | 2005 |
|---|
| 4 |       | 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 |
| 3 |  | Daniel F. Sterne,
Poornima Balasubramanyam,
David Carman,
Brett Wilson,
Rajesh Talpade,
Calvin Ko,
Ravindra Balupari,
Chin-Yang Tseng,
Thomas F. Bowen,
Karl N. Levitt,
Jeff Rowe:
A General Cooperative Intrusion Detection Architecture for MANETs.
IWIA 2005: 57-70 |
| 2 | | Chinyang Henry Tseng,
Tao Song,
Poornima Balasubramanyam,
Calvin Ko,
Karl N. Levitt:
A Specification-Based Intrusion Detection Model for OLSR.
RAID 2005: 330-350 |
| 2003 |
|---|
| 1 | | Chin-Yang Tseng,
Poornima Balasubramanyam,
Calvin Ko,
Rattapon Limprasittiporn,
Jeff Rowe,
Karl N. Levitt:
A specification-based intrusion detection system for AODV.
SASN 2003: 125-134 |
