TrMAps: Trust Management in Specification-Based Misbehavior Detection System for IMD-Enabled Artificial Pancreas System | IEEE Journals & Magazine | IEEE Xplore