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

fYear

1998

fDate

16-18 Apr 1998

Firstpage

25

Lastpage

33

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Specification and Design, 1998. Proceedings. Ninth International Workshop on

Conference_Location

Ise-Shima

Print_ISBN

0-8186-8439-9

Type

conf

DOI

10.1109/IWSSD.1998.667916

Filename

667916