As the network technologies have rapidly developed in recent years, many Internet of Things (IoT) based services and applications have walked into our daily lives; one of these is the medical information system. In the early days, medical information was recorded and stored in article form. It contains a patient identity background, past medical history, and records of medical payment. With the development of medical technology, medical information is now stored and transmitted electronically. Medical information may be a person's most private information, but due to network operation errors or hacking attacks, there has been a crisis of large‐scale leakage of these personal privacy data in the past. In any cases, how to protect this medical information and ensure the privacy of patients has become a topic worthy of research. Therefore, many kinds of literature discussed how to improve medical information systems. In addition, how to effectively treat patients when accidents happen is also a topic worthy of research. Therefore, combined with IoT technologies and medical devices, it has been opened a whole new future for medical information system. This study focuses on security and privacy issues to design a security scheme for healthcare environments when a person encountered physical emergency. Mobile devices and cloud computing are combined into the proposed platform. The proposed scheme can defend against impersonation attack, man‐in‐middle attack, and replay attack. The modal logic is used to verify the proposed scheme. By using digital signature and SVO logic mechanism, the proposed scheme is proven with nonrepudiation.

中文翻译：

---

基于不可否认机制的安全物联网医疗信息共享与应急通知系统

随着近年来网络技术的飞速发展，许多基于物联网（IoT）的服务和应用已走进我们的日常生活。其中之一是医疗信息系统。在早期，医疗信息被记录并以文章形式存储。它包含患者身份背景，既往病史和医疗付款记录。随着医疗技术的发展，医疗信息现在以电子方式存储和传输。医疗信息可能是一个人最私人的信息，但是由于网络操作错误或黑客攻击，过去存在着大量泄露这些个人隐私数据的危机。无论如何，如何保护这些医疗信息并确保患者的隐私已成为值得研究的话题。所以，许多文献讨论了如何改善医学信息系统。另外，事故发生时如何有效治疗患者也是值得研究的课题。因此，结合物联网技术和医疗设备，已经为医疗信息系统开辟了一个全新的未来。这项研究着重于安全和隐私问题，以设计一个人遇到身体紧急情况时的医疗环境安全方案。移动设备和云计算已合并到建议的平台中。提议的方案可以防御模拟攻击，中间人攻击和重播攻击。模态逻辑用于验证所提出的方案。通过使用数字签名和SVO逻辑机制，该方案得到了不可否认的证明。