编辑配置文件(在新选项卡中打开) 瑞安·Wnuk-Fink 合著者距离 作者ID: wnuk-fink.ryan公司 发布日期: 瑞安·Wnuk-Fink 已编制索引的文档: 1出版物自2020年起 合著者: 9合著者具有1联合出版物 55位合作作者 全部的 前5名合著者 0 单作者的 1 伊恩·布鲁门菲尔德 1 Cyrus J.博尼亚迪。 1 理查德·张 1 埃尼斯·戈拉斯泽夫斯基 1 埃琳·拉努斯 1 摩西·D·利斯科夫。 1 阿兰·谢尔曼。 1 马里奥·雅克塞提格 1 爱德华·齐格勒 系列 领域 1 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1时间1文件 引用人▼ 年份▼ 安全远程密码协议的形式化方法分析。 Zbl 07370023号 阿兰·谢尔曼。;埃琳·拉努斯;摩西·利斯科夫;爱德华·齐格勒;理查德·张;埃尼斯·戈拉斯泽夫斯基;瑞安·Wnuk-Fink;Cyrus J.博尼亚迪。;马里奥·雅克塞提格;伊恩·布鲁门菲尔德 1 2020 安全远程密码协议的形式化方法分析。 Zbl 07370023号 阿兰·谢尔曼。;埃琳·拉努斯;摩西·利斯科夫;爱德华·齐格勒;理查德·张;埃尼斯·戈拉斯泽夫斯基;瑞安·Wnuk-Fink;Cyrus J.博尼亚迪。;马里奥·雅克塞提格;伊恩·布鲁门菲尔德 1 2020 2位作者引用 1 里卡多·福卡迪 1 弗拉米尼娅·卢西奥。 0连载引用 在2个字段中引用 1 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文