next up previous
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.