Provably secure public key management protocols for self-organized ad hoc networks | IEEE Conference Publication | IEEE Xplore