Next: References
Up: Formal Analysis of IP
Previous: Conclusion
The authors would like to express there appreciation to Jim Binkley and
John McHugh
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.