Formal Analysis of the Security Protocol with Timestamp Using SPIN.

Xiao, Meihua; Song, Weiwei; Yang, Ke; OuYang, Ri; Zhao, Hanyu

Xiao, Meihua; Song, Weiwei; Yang, Ke; OuYang, Ri; Zhao, Hanyu.

Afiliação

Xiao M; School of Software, East China Jiaotong University, Nanchang 330013, China.
Song W; School of Software, East China Jiaotong University, Nanchang 330013, China.
Yang K; School of Software, East China Jiaotong University, Nanchang 330013, China.
OuYang R; School of Software, East China Jiaotong University, Nanchang 330013, China.
Zhao H; School of Software, East China Jiaotong University, Nanchang 330013, China.

Comput Intell Neurosci ; 2022: 2420590, 2022.

Article em En | MEDLINE | ID: mdl-36052031

Assuntos

Segurança Computacional; Internet

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google

Texto completo: 1 Coleções: 01-internacional Base de dados: MEDLINE Assunto principal: Segurança Computacional / Internet Idioma: En Revista: Comput Intell Neurosci Assunto da revista: INFORMATICA MEDICA / NEUROLOGIA Ano de publicação: 2022 Tipo de documento: Article País de afiliação: China

Texto completo

Imprimir

XML

PubMed Links

Buscar no Google