1. DITrust chain: Towards blockchain-based trust models for sustainable healthcare IoT systems;Abou-Nassar;IEEE Access,2020
2. Internet of things for smart healthcare: Technologies, challenges, and opportunities;Baker;IEEE Access,2017
3. A logic of authentication;Burrows;Proceedings of the Royal Society of London. A. Mathematical and Physical Sciences,1871
4. A context-aware, interactive M-health system for diabetics;Chang;IT Professional,2016
5. A high level protocol specification language for industrial security-sensitive protocols;Chevalier,2004