马格纳斯·约翰逊;比约恩·维克多;约阿希姆·帕罗 计算psi-calculi的强互模拟和弱互模拟。 (英语) Zbl 1277.68192号 J.日志。代数。程序。 81,第3期,162-180(2012).MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Johansson}等人,J.Log。代数。程序。81,第3号,162--180(2012;Zbl 1277.68192) 全文: 内政部
J.A.马汀。;皮门特尔,E。 安全调整合同。 (英语) Zbl 1213.68615号 J.日志。代数。程序。 80,编号3-5,154-179(2011).MSC公司:68层35 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Martín}和\textit{E.Pimentel},J.Log。代数。程序。80,编号3--5,154-179(2011;Zbl 1213.68615) 全文: 内政部
西蒙·克莱默 加密协议逻辑:满足(定时)Dolev-Yao加密。 (英语) Zbl 1151.94012号 J.日志。代数。程序。 77,编号1-2,60-91(2008).MSC公司:94A60型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Kramer},J.Log。代数。程序。77,编号1-2,60-91(2008年;兹bl 1151.94012) 全文: 内政部
布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 自动验证安全协议的选定等效项。 (英语) Zbl 1135.68007号 J.日志。代数。程序。 75,第1期,第3-51页(2008年).MSC公司:68个M12 68M10个 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Blanchet}等人,J.Log。代数。程序。75,第1、3--51号(2008;Zbl 1135.68007) 全文: 内政部
本杰明·阿齐兹;杰夫·汉密尔顿;大卫·格雷 密码过程的静态分析:指称方法。 (英语) Zbl 1078.68027号 J.日志。代数。程序。 64,第285-320号(2005年).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{B.Aziz}等人,J.Log。代数。程序。64,第2号,285--320(2005;Zbl 1078.68027) 全文: 内政部