Matches in SemOpenAlex for { <https://semopenalex.org/work/W3201737138> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W3201737138 abstract "Implantable Medical Devices (IMDs) play a very critical role in both medical and non-medical fields. Hence, protecting the security and privacy of these devices is among the highest priorities, as failing to do so would jeopardize the life of the patient. One way of maintaining the safety of IMDs is to design an authentication protocol between the IMDs and the external devices. With this regard, although several authentication schemes exist, a significant number of these protocols did not include formal verification to prove their secrecy against known attacks. One such authentication scheme is the He and Zeadally protocol for IMD-Enabled Ambient Assisted Living System. Accordingly, in this paper, we analyzed the security of this protocol by using formal verification methods -BAN-Logic and AVISPA. As a result, despite the protocol's strong qualities, we found that the protocol is insecure and fell short of other essential such as emergency authentication and key-update procedures." @default.
- W3201737138 created "2021-10-11" @default.
- W3201737138 creator A5017792460 @default.
- W3201737138 creator A5025186992 @default.
- W3201737138 creator A5064726267 @default.
- W3201737138 creator A5089221000 @default.
- W3201737138 date "2020-12-12" @default.
- W3201737138 modified "2023-09-24" @default.
- W3201737138 title "A Formal Security Verification on He and Zeadally's Authentication Protocol for IMD-Enabled Ambient Assisted Living System" @default.
- W3201737138 cites W143707359 @default.
- W3201737138 cites W1972935240 @default.
- W3201737138 cites W2009006983 @default.
- W3201737138 cites W2035399628 @default.
- W3201737138 cites W2040142284 @default.
- W3201737138 cites W2044087439 @default.
- W3201737138 cites W2096025074 @default.
- W3201737138 cites W2101188359 @default.
- W3201737138 cites W2117064875 @default.
- W3201737138 cites W2175661655 @default.
- W3201737138 cites W2367459645 @default.
- W3201737138 cites W2596785231 @default.
- W3201737138 cites W2599157033 @default.
- W3201737138 cites W2765404915 @default.
- W3201737138 cites W2806422435 @default.
- W3201737138 cites W2881540367 @default.
- W3201737138 cites W2994565690 @default.
- W3201737138 cites W3000277127 @default.
- W3201737138 cites W3014350315 @default.
- W3201737138 doi "https://doi.org/10.1145/3440943.3444735" @default.
- W3201737138 hasPublicationYear "2020" @default.
- W3201737138 type Work @default.
- W3201737138 sameAs 3201737138 @default.
- W3201737138 citedByCount "0" @default.
- W3201737138 crossrefType "proceedings-article" @default.
- W3201737138 hasAuthorship W3201737138A5017792460 @default.
- W3201737138 hasAuthorship W3201737138A5025186992 @default.
- W3201737138 hasAuthorship W3201737138A5064726267 @default.
- W3201737138 hasAuthorship W3201737138A5089221000 @default.
- W3201737138 hasConcept C111498074 @default.
- W3201737138 hasConcept C115903868 @default.
- W3201737138 hasConcept C142724271 @default.
- W3201737138 hasConcept C148417208 @default.
- W3201737138 hasConcept C159110408 @default.
- W3201737138 hasConcept C178489894 @default.
- W3201737138 hasConcept C199360897 @default.
- W3201737138 hasConcept C204787440 @default.
- W3201737138 hasConcept C21564112 @default.
- W3201737138 hasConcept C2780385302 @default.
- W3201737138 hasConcept C3018552312 @default.
- W3201737138 hasConcept C33884865 @default.
- W3201737138 hasConcept C38652104 @default.
- W3201737138 hasConcept C41008148 @default.
- W3201737138 hasConcept C71924100 @default.
- W3201737138 hasConcept C75606506 @default.
- W3201737138 hasConceptScore W3201737138C111498074 @default.
- W3201737138 hasConceptScore W3201737138C115903868 @default.
- W3201737138 hasConceptScore W3201737138C142724271 @default.
- W3201737138 hasConceptScore W3201737138C148417208 @default.
- W3201737138 hasConceptScore W3201737138C159110408 @default.
- W3201737138 hasConceptScore W3201737138C178489894 @default.
- W3201737138 hasConceptScore W3201737138C199360897 @default.
- W3201737138 hasConceptScore W3201737138C204787440 @default.
- W3201737138 hasConceptScore W3201737138C21564112 @default.
- W3201737138 hasConceptScore W3201737138C2780385302 @default.
- W3201737138 hasConceptScore W3201737138C3018552312 @default.
- W3201737138 hasConceptScore W3201737138C33884865 @default.
- W3201737138 hasConceptScore W3201737138C38652104 @default.
- W3201737138 hasConceptScore W3201737138C41008148 @default.
- W3201737138 hasConceptScore W3201737138C71924100 @default.
- W3201737138 hasConceptScore W3201737138C75606506 @default.
- W3201737138 hasFunder F4320322120 @default.
- W3201737138 hasLocation W32017371381 @default.
- W3201737138 hasOpenAccess W3201737138 @default.
- W3201737138 hasPrimaryLocation W32017371381 @default.
- W3201737138 hasRelatedWork W1519519712 @default.
- W3201737138 hasRelatedWork W1852865509 @default.
- W3201737138 hasRelatedWork W2111618112 @default.
- W3201737138 hasRelatedWork W2137617551 @default.
- W3201737138 hasRelatedWork W2181469750 @default.
- W3201737138 hasRelatedWork W2229881279 @default.
- W3201737138 hasRelatedWork W2366546893 @default.
- W3201737138 hasRelatedWork W2393215973 @default.
- W3201737138 hasRelatedWork W3201737138 @default.
- W3201737138 hasRelatedWork W2133143122 @default.
- W3201737138 isParatext "false" @default.
- W3201737138 isRetracted "false" @default.
- W3201737138 magId "3201737138" @default.
- W3201737138 workType "article" @default.