IKE 2-implementing the stateful distributed object paradigm | IEEE Conference Publication | IEEE Xplore