ユーザ主体及びネットワーク主体の高可用ネットワークを実現するシステムの設計とソフトウェア実装—ID・ロケータ分離アーキテクチャHIMALISとロケータ自動割振プロトコルHANA—