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...

Descripción completa

Detalles Bibliográficos
Autores principales: Xiao, Meihua, Song, Weiwei, Yang, Ke, OuYang, Ri, Zhao, Hanyu
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Hindawi 2022
Materias:
Research Article
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

Internet

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

Ejemplares similares