大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 安全协议等价物的POR。超越行动决定。 (英语) Zbl 1496.68055号 Lopez,Javier(编辑)等人,《计算机安全》。第23届欧洲计算机安全研究研讨会,2018年ESORICS,西班牙巴塞罗那,2018年9月3-7日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。11098, 385-405 (2018).MSC公司:68平方米25 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人,Lect。注释计算。科学。11098,385--405(2018;Zbl 1496.68055) 全文: DOI程序 arXiv公司
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 用于确定跟踪等价性的简化语义。 (英语) 兹比尔1448.68326 日志。方法计算。科学。 13,第2号,第8号论文,48页(2017年).MSC公司:68问题85 第68季度第60季度 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人,日志。方法计算。科学。13,第2号,第8号论文,48页(2017;Zbl 1448.68326) 全文: DOI程序 arXiv公司
大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 安全协议的部分降阶。 (英语) 兹比尔1374.68318 Aceto,Luca(编辑)等人,第26届并发理论国际会议,CONCUR’15,西班牙马德里,2015年9月1日至4日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-91-0)。LIPIcs–莱布尼茨国际信息学论文集42,497-510(2015)。MSC公司:68问题85 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{D.Baelde}等人,LIPIcs——莱布尼茨国际程序。通知。42、497--510(2015年;Zbl 1374.68318) 全文: DOI程序 arXiv公司