A correctness proof of the SRP protocol

@article{Yang2006ACP,
  title={A correctness proof of the SRP protocol},
  author={Huabing Yang and Xingyuan Zhang and Yuanyuan Wang},
  journal={Proceedings 20th IEEE International Parallel & Distributed Processing Symposium},
  year={2006},
  pages={7 pp.-}
}
  • Huabing Yang, Xingyuan Zhang, Yuanyuan Wang
  • Published 2006
  • Computer Science
  • Proceedings 20th IEEE International Parallel & Distributed Processing Symposium
  • The correctness of a routing protocol can be divided into two parts, a liveness property proof and a safety property proof. The former requires that route(s) should be discovered and data be transmitted successfully, while the latter requires that the discovered routes have some desired characters such as containing only benign nodes. While safety properties are relatively easier to prove, the proof of liveness properties is usually harder. This paper presented a liveness proof of a secure… CONTINUE READING

    Citations

    Publications citing this paper.

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 21 REFERENCES

    Formal verification of ad-hoc routing protocols using SPIN model checker

    • F. de Renesse, A. R. Aghvami
    • Computer Science
    • Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521)
    • 2004
    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Secure data transmission in mobile ad hoc networks

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    A validation model for the DSR protocol

    VIEW 1 EXCERPT

    A secure routing protocol for ad hoc networks

    VIEW 1 EXCERPT