Subject: [manet] SDL specs for AODV

From: Anup Patnaik <[email-masked]>
Date: Tue, 11 Feb 2003 17:15:58 -0500 (EST)

Hi

I was wondering if someone has developed specifications for AODV in SDL
and carried out validation and verification for the same. Is this work
worth doing. Can the specs help to find out loop holes (if any) or
security breaches in the protocol.

Regards
Anup Patnaik

Ph.D. student
Concordia University
Montreal.Quebec.Canada

_______________________________________________
manet mailing list
[email-masked]
https://www1.ietf.org/mailman/listinfo/manet