共 67 条
[2]
[Anonymous], Automated validation of internet security protocols and applications
[5]
Baritel-Ruet C, FORMAL SECURITY PROO
[6]
Barras B., 1997, THESIS INRIA PARIS F
[7]
Basudan Sultan, 2020, [Journal of Communications and Information Networks, 通信与信息网络学报], V5, P457
[8]
Blakley G. R., 1979, P AFIPS NAT COMP C J, P313
[9]
Automatic Verification of Security Protocols in the Symbolic Model: The Verifier Proverif
[J].
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
2014, 8604
:54-87
[10]
Blanchet B., 2016, Found Trends Privacy Sec, V1, P1, DOI DOI 10.1561/3300000004