An Efficient and Provably Secure IBE Scheme with Short System Parameters | IEEE Conference Publication | IEEE Xplore