Cargando…
Formal Analysis of the Security Protocol with Timestamp Using SPIN
The verification of security protocols is an important basis for network security. Now, some security protocols add timestamps to messages to defend against replay attacks by network intruders. Therefore, verifying the security properties of protocols with timestamps is of great significance to ensu...
| Autores principales: | , , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
Hindawi
2022
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9427237/ https://www.ncbi.nlm.nih.gov/pubmed/36052031 http://dx.doi.org/10.1155/2022/2420590 |