×
雷米·克雷蒂安;维罗尼克·科尔蒂尔;安托万·达隆;德莱恩，斯特凡尼

在安全协议中免费键入消息。 （英语） Zbl 1433.68211号

ACM事务处理。计算。日志。 21，第1号，第1条，52页（2020年）.

引用于2文件

MSC公司：

60年第68季度 规范和验证（程序逻辑、模型检查等）
68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
94A60 密码学

关键词：

安全协议;符号模型;迹等效性;验证
PDF格式BibTeX公司 XML格式引用
\textit{R.Chrétien}等人，ACM Trans。计算。日志。21，第1号，第1条，52页（2020年；Zbl 1433.68211）
全文： 内政部