New non-interactive key agreement and progression (NIKAP) protocols and their applications to security in ad hoc networks | IEEE Conference Publication | IEEE Xplore