库沙尔·巴别尔;文森特·雪瓦尔;史蒂夫·克莱默 验证等价属性时的通信模型。 (英语) Zbl 1444.68035号 Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 141-163 (2017).MSC公司:68平方米25 68个M12 68问题55 60年第68季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Babel}等人,Lect。注释计算。科学。10204、141--163(2017;Zbl 1444.68035) 全文: 内政部 哈尔
文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 确定约束系统集之间符号等价性的过程。 (英语) Zbl 1371.68189号 Inf.计算。 255,第1部分,94-125(2017).MSC公司:68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,《信息计算》。255,第1部分,94-125(2017;Zbl 1371.68189) 全文: 内政部 链接
罗希特·查达;文森特·雪瓦尔;瑟·特凡·乔巴赫;史蒂夫·克莱默 密码协议等价属性的自动验证。 (英语) Zbl 1367.68184号 ACM事务处理。计算。日志。 17号第4条第23条第32页(2016年).MSC公司:60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,ACM Trans。计算。日志。17,第4号,第23条,32页(2016年;Zbl 1367.68184) 全文: 内政部
文森特·雪瓦尔;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 使用约束求解确定基于等效的特性。 (英语) Zbl 1294.68111号 西奥。计算。科学。 492, 1-39 (2013).MSC公司:68问题85 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,Theor。计算。科学。492,1--39(2013年;Zbl 1294.68111) 全文: 内政部
文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 自动化安全分析:约束系统的符号等价。 (英语) Zbl 1291.94068号 Giesl,Jürgen(编辑)等人,《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议,IJCAR 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14202-4/pbk)。计算机科学讲义6173。人工智能课堂讲稿,412-426(2010)。MSC公司:94A60型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,Lect。注释计算。科学。6173412--426(2010年;Zbl 1291.94068) 全文: 内政部 链接