Analysis of the Secure Remote Password protocol using CPSA (abstract)

Analysis of the Secure Remote Password protocol using CPSA (abstract)
复制标题

使用 CPSA 分析安全远程密码协议(摘要)

DOI:
--
复制
发表时间:
2020
期刊:
High Confidence Software and Systems Conference (HCSS
影响因子:
--
通讯作者:
Yaksetig, M.
Yaksetig, M.
中科院分区:
--
文献类型:
--
作者:
Lanus, E.;Sherman, A. T.;Chang, R.;Golaszewski, E.;Wnuk-Fink, R.;Bonyadi, C.;Yaksetig, M.

文献摘要

相似文献