How to Specify and How to Prove Correctness of Secure Routing Protocols for MANET
2006 (English)In: IEEE-CS Third International Conference on BroadBand Communcations, Networks, and Systems (IEEE BroadNets), 2006Conference paper (Other academic)
Place, publisher, year, edition, pages
IdentifiersURN: urn:nbn:se:kth:diva-35558DOI: 10.1109/BROADNETS.2006.4374344OAI: oai:DiVA.org:kth-35558DiVA: diva2:429032
© 2006 IEEE. Personal use of the attached pdf is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
QC 201107132011-07-132011-07-012011-07-13Bibliographically approved