拉尔斯·奥克·弗雷德隆德;克拉拉·贝纳克·厄尔;艺术,托马斯;汉斯·斯文森 通过跟踪安全协议获得信任。 (英语) Zbl 07618128号 J.日志。阿尔盖布。方法计划。 130,文章ID 100829,第25页(2023).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{L.-奥弗雷德隆德}等人,J.Log。阿尔盖布。方法程序。130,文章ID 100829,25 p.(2023;Zbl 07618128) 全文: 内政部
米歇尔,布列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡迪 web安全的形式化方法。 (英语) Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87, 110-126 (2017).MSC公司:68英里11 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,J.Log。阿尔盖布。方法程序。87、110-126(2017;Zbl 1359.68021) 全文: 内政部 链接