Compressed and distributed host identity protocol for end-to-end security in the IoT