Executive Summary : | A Medical Implant Communication system (MICs) network consists of implanted medical devices (IMDs), body-worn devices (BWD), and a programmer/controller (P/C). IMDs are surgically embedded into the human body to provide appropriate medical care for various ailments. When a patient's viscera is received, information is set aside on a server via a P/C, which can communicate with other communication networks like the Public switched Telephone Network (PsTN) for remote control and surveillance. sensors help these systems collect physiological values and provide suitable treatment. security and privacy in safety-critical IMD communication networks are more challenging than in traditional computing environments. Eavesdropping on communications between the IMD and its programmer or interrogating the IMD with an unauthorized programmer can compromise patient privacy. Unauthenticated communications can lead to denial-of-service attacks. To mitigate these security issues and make communication more secure, a novel lightweight authentication scheme with key establishment using blockchain technology is proposed. A table is created to manage public key information of P/C and healthcare providers, mapping transaction identities to the blockchain. smart contracts are deployed, where each contract is considered a database slot that can publish a transaction with a unique address. The smart contract performs functions such as registration, query, key update, and revocation. A formal method is used to verify the correctness of software systems before deploying the smart contract. |