Formal reasoning about a specification-based intrusion detection for dynamic auto-configuration protocols in ad hoc networks (English)
Formal Aspects in Security and Trust, 16-33 (2005).
1
io-port 70591018 Sterne, Daniel F.;
Balasubramanyam, Poornima;
Carman, David;
Wilson, Brett;
Talpade, Rajesh;
Ko, Calvin;
Balupari, Ravindra;
Tseng, Chin-Yang;
Bowen, Thomas F.;
Levitt, Karl N.;
Rowe, Jeff
A general cooperative intrusion detection architecture for manets (English)
IWIA, 57-70 (2005).
2
A specification-based intrusion detection model for OLSR (English)
RAID, 330-350 (2005).
3
A specification-based intrusion detection system for AODV (English)
SASN, 125-134 (2003).
4
Start
Contact
Print
General Help
