Verifying secure authentication protocol for communication between IoT-based medical devices. Theera-Umpon, N., Han, K. H., Bae, W. S., Lee, S., & Pham, V. H. Journal of Universal Computer Science, 24(9):1258–1270, 2018. ![Verifying secure authentication protocol for communication between IoT-based medical devices [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper doi abstract bibtex The evolving Internet of Things (IoT) technology has driven the advancement of communication technology for implantable devices and relevant services. Still, concerns are raised over implantable medical devices (IMDs), because the wireless transmission section between patients and devices is liable to intrusions on privacy attributable to hacking attacks and resultant leakage of patients’ personal information. Also, manipulating and altering patients’ medical information may lead to serious leakage of personal information and thus adverse medical incidents. To address the foregoing challenges, the present paper proposes a security protocol that copes with a range of vulnerabilities in communication between IMDs and other devices. In addition, the proposed protocol encrypts the communication process and data to eliminate the likelihood of personal information being leaked. The verification highlights the safety and security of the proposed protocol in wireless communication.
@article{DBLP:journals/jucs/Theera-UmponHBL18,
title = {Verifying secure authentication protocol for communication between {IoT}-based medical devices},
volume = {24},
issn = {09486968},
url = {http://www.jucs.org/jucs%5C_24%5C_9/verifying%5C_secure%5C_authentication%5C_protocol},
doi = {https://doi.org/10.3217/jucs-024-09-1258},
abstract = {The evolving Internet of Things (IoT) technology has driven the advancement of communication technology for implantable devices and relevant services. Still, concerns are raised over implantable medical devices (IMDs), because the wireless transmission section between patients and devices is liable to intrusions on privacy attributable to hacking attacks and resultant leakage of patients’ personal information. Also, manipulating and altering patients’ medical information may lead to serious leakage of personal information and thus adverse medical incidents. To address the foregoing challenges, the present paper proposes a security protocol that copes with a range of vulnerabilities in communication between IMDs and other devices. In addition, the proposed protocol encrypts the communication process and data to eliminate the likelihood of personal information being leaked. The verification highlights the safety and security of the proposed protocol in wireless communication.},
number = {9},
journal = {Journal of Universal Computer Science},
author = {Theera-Umpon, Nipon and Han, Kun Hee and Bae, Woo Sik and Lee, Sanghyuk and Pham, Van Huy},
year = {2018},
keywords = {Authentication protocol, Casper, Integrated authentication protocol, Model checking, Security policy, U-Healthcare Service},
pages = {1258--1270},
}
Downloads: 0
{"_id":"8XEt2gse9rgZifNHF","bibbaseid":"theeraumpon-han-bae-lee-pham-verifyingsecureauthenticationprotocolforcommunicationbetweeniotbasedmedicaldevices-2018","author_short":["Theera-Umpon, N.","Han, K. H.","Bae, W. S.","Lee, S.","Pham, V. H."],"bibdata":{"bibtype":"article","type":"article","title":"Verifying secure authentication protocol for communication between IoT-based medical devices","volume":"24","issn":"09486968","url":"http://www.jucs.org/jucs%5C_24%5C_9/verifying%5C_secure%5C_authentication%5C_protocol","doi":"https://doi.org/10.3217/jucs-024-09-1258","abstract":"The evolving Internet of Things (IoT) technology has driven the advancement of communication technology for implantable devices and relevant services. Still, concerns are raised over implantable medical devices (IMDs), because the wireless transmission section between patients and devices is liable to intrusions on privacy attributable to hacking attacks and resultant leakage of patients’ personal information. Also, manipulating and altering patients’ medical information may lead to serious leakage of personal information and thus adverse medical incidents. To address the foregoing challenges, the present paper proposes a security protocol that copes with a range of vulnerabilities in communication between IMDs and other devices. In addition, the proposed protocol encrypts the communication process and data to eliminate the likelihood of personal information being leaked. The verification highlights the safety and security of the proposed protocol in wireless communication.","number":"9","journal":"Journal of Universal Computer Science","author":[{"propositions":[],"lastnames":["Theera-Umpon"],"firstnames":["Nipon"],"suffixes":[]},{"propositions":[],"lastnames":["Han"],"firstnames":["Kun","Hee"],"suffixes":[]},{"propositions":[],"lastnames":["Bae"],"firstnames":["Woo","Sik"],"suffixes":[]},{"propositions":[],"lastnames":["Lee"],"firstnames":["Sanghyuk"],"suffixes":[]},{"propositions":[],"lastnames":["Pham"],"firstnames":["Van","Huy"],"suffixes":[]}],"year":"2018","keywords":"Authentication protocol, Casper, Integrated authentication protocol, Model checking, Security policy, U-Healthcare Service","pages":"1258–1270","bibtex":"@article{DBLP:journals/jucs/Theera-UmponHBL18,\n\ttitle = {Verifying secure authentication protocol for communication between {IoT}-based medical devices},\n\tvolume = {24},\n\tissn = {09486968},\n\turl = {http://www.jucs.org/jucs%5C_24%5C_9/verifying%5C_secure%5C_authentication%5C_protocol},\n\tdoi = {https://doi.org/10.3217/jucs-024-09-1258},\n\tabstract = {The evolving Internet of Things (IoT) technology has driven the advancement of communication technology for implantable devices and relevant services. Still, concerns are raised over implantable medical devices (IMDs), because the wireless transmission section between patients and devices is liable to intrusions on privacy attributable to hacking attacks and resultant leakage of patients’ personal information. Also, manipulating and altering patients’ medical information may lead to serious leakage of personal information and thus adverse medical incidents. To address the foregoing challenges, the present paper proposes a security protocol that copes with a range of vulnerabilities in communication between IMDs and other devices. In addition, the proposed protocol encrypts the communication process and data to eliminate the likelihood of personal information being leaked. The verification highlights the safety and security of the proposed protocol in wireless communication.},\n\tnumber = {9},\n\tjournal = {Journal of Universal Computer Science},\n\tauthor = {Theera-Umpon, Nipon and Han, Kun Hee and Bae, Woo Sik and Lee, Sanghyuk and Pham, Van Huy},\n\tyear = {2018},\n\tkeywords = {Authentication protocol, Casper, Integrated authentication protocol, Model checking, Security policy, U-Healthcare Service},\n\tpages = {1258--1270},\n}\n\n","author_short":["Theera-Umpon, N.","Han, K. H.","Bae, W. S.","Lee, S.","Pham, V. H."],"key":"DBLP:journals/jucs/Theera-UmponHBL18","id":"DBLP:journals/jucs/Theera-UmponHBL18","bibbaseid":"theeraumpon-han-bae-lee-pham-verifyingsecureauthenticationprotocolforcommunicationbetweeniotbasedmedicaldevices-2018","role":"author","urls":{"Paper":"http://www.jucs.org/jucs%5C_24%5C_9/verifying%5C_secure%5C_authentication%5C_protocol"},"keyword":["Authentication protocol","Casper","Integrated authentication protocol","Model checking","Security policy","U-Healthcare Service"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://api.zotero.org/groups/2168152/items?key=VCdsaROd5deDY3prqqG8kI0c&format=bibtex&limit=100","dataSources":["syJjwTDDM32TsM2iF","QwrFbRJvXF69SEShv","HbngRCZLbLed2q9QT","LtEFvT85hYpNg4Esp","iHfnnAr7wKJJxkNMt","PrvBTxn4Zgeep29e5","78Yd9ZHcx783Wkffe","SKRhTA7ok4L4waPkZ","GfrMfnKTkYdcYTRsy","RqqCdXGEyWH4dZ76k","cbiwaQPQJSZeJDDY9","2Jak7xK39ytqcgqQ4","CDfDBPD6CDScj6Ty4","WgiCycoQjRx6KArBy","KBdipwowTNXWiKqYd","yjd6eECyb3TYZpZ3R","D9jmZ7aoHfJnYQ4ES","R8dLFAvyQ2oFRijDJ","dc6SzEK4S9LfC3XpA","kGWABmrDfhF29uibh","YE9GesxGLCsBc3vvC","v3qfuosZ66nvD85FK","BSxBG5ms26R2teZn9"],"keywords":["authentication protocol","casper","integrated authentication protocol","model checking","security policy","u-healthcare service"],"search_terms":["verifying","secure","authentication","protocol","communication","between","iot","based","medical","devices","theera-umpon","han","bae","lee","pham"],"title":"Verifying secure authentication protocol for communication between IoT-based medical devices","year":2018}