Clément奥伯特;丹尼尔·瓦拉卡 针对测试的过程:定义上下文等效性。 (英语) Zbl 07595225号 J.日志。阿尔盖布。方法计划。 129,文章ID 100799,第18页(2022).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{C.Aubert}和\textit{D.Varacca},J.Log。阿尔盖布。方法计划。129,文章ID 100799,18 p.(2022;Zbl 07595225) 全文: 内政部 arXiv公司 哈尔
Kai Bavendiek先生;西比尔·舒普 基于位置的服务系统中隐私保护协议的过程演算。 (英语) Zbl 07485816号 J.日志。阿尔盖布。方法计划。 125,文章ID 100735,30 p.(2022).MSC公司:68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{K.Bavendiek}和\textit{S.Schupp},J.Log。阿尔盖布。方法计划。125,文章ID 100735,30 p.(2022;Zbl 07485816) 全文: 内政部
伊万·普罗基奇;雨果·托雷斯·维埃拉 (C_\pi\)-演算:机密名称传递的模型。 (英语) Zbl 1455.68128号 J.日志。阿尔盖布。方法计划。 119,文章ID 100622,32 p.(2021).MSC公司:68问题85 68平方米25 PDF格式BibTeX公司 XML格式引用 \textit{I.Prokić}和\textit{H.T.Vieira},J.Log。阿尔盖布。方法计划。119,文章ID 100622,32 p.(2021;Zbl 1455.68128) 全文: 内政部 arXiv公司
卡尔默阿皮尼斯;瓦尔莫·维尼;维萨尔·沃达尼 基于地图的抽象域的需求驱动的过程间分析。 (英语) Zbl 1400.68054号 J.日志。阿尔盖布。方法计划。 100, 57-70 (2018).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{K.Apinis}等人,J.Log。阿尔盖布。方法计划。100,57-70(2018;Zbl 1400.68054) 全文: 内政部
斯特凡尼德劳恩;卢卡·赫斯基 密码协议中建立基于等价性属性的符号方法综述。 (英语) Zbl 1359.68023号 J.日志。阿尔盖布。方法计划。 87, 127-144 (2017).MSC公司:68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune}和\textit{L.Hirschi},J.Log。阿尔盖布。方法计划。87、127--144(2017;Zbl 1359.68023) 全文: 内政部 arXiv公司
米歇尔·布格列西;斯特凡诺·卡尔扎瓦拉;里卡多·福卡迪 web安全的形式化方法。 (英语) Zbl 1359.68021号 J.日志。阿尔盖布。方法计划。 87, 110-126 (2017).MSC公司:68英里11 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,J.Log。阿尔盖布。方法计划。87、110-126(2017;Zbl 1359.68021) 全文: 内政部 链接
贝纳姆萨塔扎德;Mehran S·法拉。 在存在折衷主体的情况下,对注入协议进行基于类型的自动分析。 (英语) Zbl 1337.68193号 J.日志。阿尔盖布。方法计划。 84,第5期,576-610(2015).MSC公司:68问题85 68个M12 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{B.Sattarzadeh}和\textit{M.S.Fallah},J.Log。阿尔盖布。方法计划。84,第5号,576--610(2015;Zbl 1337.68193) 全文: 内政部