Provably Secure Timed-Release Proxy Conditional Reencryption | IEEE Journals & Magazine | IEEE Xplore