×

找到2个文档(结果1-2)

安全远程密码协议的形式化方法分析。 (英语) Zbl 07370023号

Nigam,Vivek(编辑)等人,《逻辑、语言和安全》。在安德烈·塞德罗夫65岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。12300, 103-126 (2020).
MSC公司:03年XX月
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

主字段