Design and Formal Analysis of an Authentication Protocol, eWMDP on Wearable Devices
For wearable devices, this paper proposes an authentication protocol eWMDP. We formally model and analyze it. In the execution model of the protocol, a Dolev-Yao adversary is constituted. With the above, various security properties can be defined for measuring security performance. Our protocol can...
Bewaard in:
| Hoofdauteurs: | , , , |
|---|---|
| Formaat: | Artigo |
| Taal: | Inglês |
| Gepubliceerd in: |
IEEE
2019-01-01
|
| Reeks: | IEEE Access |
| Onderwerpen: | |
| Online toegang: | https://ieeexplore.ieee.org/document/8758856/ |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|