Extracting Protocol Format as State Machine via Controlled Static Loop Analysis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Shi, Qingkai, Xu, Xiangzhe, Zhang, Xiangyu
Formato:	Preprint
Publicado:	2023
Materias:	Cryptography and Security Programming Languages Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

https://arxiv.org/abs/2305.13483