Fine-Grained Refinement on TPM-Based Protocol Applications | IEEE Journals & Magazine | IEEE Xplore