Up: Formal Analysis of IP
The authors would like to express there appreciation to Jim Binkley and
for many helpful conversations on Mobile-IP,
especially the details of mobile registration and secure tunnels,
and in general to the members of the Secure Mobile
Networking Project at Portland State University.