An Efficient Lucas Sequence-Based Batch Auditing Scheme for the Internet of Medical Things | IEEE Journals & Magazine | IEEE Xplore