Title :
An exercise in formal reasoning about mobile communications
Author :
Murphy, A.L. ; Roman, G.-C. ; Varghese, G.
Author_Institution :
Dept. of Comput. Sci., Washington Univ., St. Louis, MO, USA
Abstract :
With recent advances in wireless communication and the ubiquity of laptops, mobile computing has become an important research area. An essential problem in mobile computing is the delivery of a message from a source (stationary or mobile) to a desired mobile unit. Standard solutions used in Mobile IP and cellular phones rely on tracking the mobile unit. Tracking solutions scale badly when mobile units move frequently. Our paper proposes a new message delivery algorithm and includes a proof outline using the UNITY logic. Our algorithm requires no tracking and provides stronger guarantees than existing protocols
Keywords :
formal logic; protocols; theorem proving; wireless LAN; UNITY logic; message delivery; mobile computing; proof outline; protocols; tracking; wireless communication; Cellular phones; Computer networks; Computer science; Context; Home computing; Mobile communication; Mobile computing; Pervasive computing; Portable computers; Wireless communication;
Conference_Titel :
Software Specification and Design, 1998. Proceedings. Ninth International Workshop on
Conference_Location :
Ise-Shima
Print_ISBN :
0-8186-8439-9
DOI :
10.1109/IWSSD.1998.667916
