Analysis of DSR protocol in event-B

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6976 LNCS, Issue , 2011, Pages 401-415

  Méry, Dominique ^a   Singh, Neeraj Kumar ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

Abstract model; Ad hoc Network; Event B; Event driven approach; Proof based development; Refinement

Indexed keywords

ABSTRACT MODELS; EVENT-B; EVENT-DRIVEN APPROACH; PROOF-BASED DEVELOPMENT; REFINEMENT;

ABSTRACTING; NETWORK SECURITY; SPECIFICATIONS; STABILIZATION;

ROUTING PROTOCOLS;

EID: 80054684992     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-24550-3_30     Document Type: Conference Paper

References (12)

1. Johnson, D.B., Maltz, D.A.: Dynamic Source Routing in Ad Hoc Wireless Networks. In: Mobile Computing. The International Series in Engineering and Computer Science, vol. 353, pp. 153-181. Springer, US (1996) ISSN 0893-3405
2. Project RODIN: Rigorous open development environment for complex systems (2004), http://rodin-b-sharp.sourceforge.net/ (2004-2007)
3. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
4. Hoang, T.S., Kuruma, H., Basin, D.A., Abrial, J.R.: Developing Topology Discovery in Event-B. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol. 5423, pp. 1-19. Springer, Heidelberg (2009)
5. Cansell, D., Méry, D.: The Event-B Modelling Method: Concepts and Case Studies, pp. 33-140. Springer, Heidelberg (2007); See [12]
6. Leavens, G.T., Abrial, J.R., Batory, D.S., Butler, M.J., Coglio, A., Fisler, K., Hehner, E.C.R., Jones, C.B., Miller, D., Jones, S.L.P., Sitaraman, M., Smith, D.R., Stump, A.: Roadmap for enhanced languages and methods to aid verification. In: Proceedings of the 5th Inter. Conf. on Generative Programming and Component Engineering (GPCE), pp. 221-236 (2006)
7. Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann, San Francisco (1996)
8. Wibling, O., Parrow, J., Pears, A.: Automatized Verification of Ad Hoc Routing Protocols, pp. 343-358. Springer, Heidelberg (2004)
9. Abrial, J.R., Cansell, D., Méry, D.: A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Asp. Comput. 14(3), 215-227 (2003)
10. Yang, H., Zhang, X., Wang, Y.: A Correctness Proof of the DSR Protocol. In: Cao, J., Stojmenovic, I., Jia, X., Das, S.K. (eds.) MSN 2006. LNCS, vol. 4325, pp. 72-83. Springer, Heidelberg (2006)
11. Cavalli, A., Grepet, C., Maag, S., Tortajada, V.: A Validation Model for the DSR Protocol. In: Proceedings of the 24th ICDCSW 2004, vol. 7, pp. 768-773. IEEE Computer Society, Los Alamitos (2004)
12. Bjørner, D., Henson, M.C. (eds.): Logics of Specification Languages. EATCS Textbook in Computer Science. Springer, Heidelberg (2007)