Reasoning about public-key certification: on bindings between entities and public keys | IEEE Journals & Magazine | IEEE Xplore