A Flexible and Verifiable Keyword PIR Scheme for Cloud–Edge–Terminal Collaboration in AIoT | IEEE Journals & Magazine | IEEE Xplore