Key exchange in IPSec: analysis of IKE | IEEE Journals & Magazine | IEEE Xplore