Protocol design and analysis of a HIP-based per-application mobility management platform