塞尔达尔·埃尔巴图尔;迪帕克·卡普尔;安德鲁·马歇尔。;凯瑟琳·梅多斯;巴利亚特·纳伦德兰;克里斯托夫·林盖森 不相交理论中的非对称统一和组合问题。 (英语) Zbl 1405.68315号 Muscholl,Anca(编辑),《软件科学和计算结构基础》。第17届国际会议,FOSSACS 2014,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2014,法国格勒诺布尔,2014年4月5日至13日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54829-1/pbk)。计算机科学课堂讲稿8412,274-288(2014)。MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,Lect。注释计算。科学。8412,274--288(2014;Zbl 1405.68315) 全文: 内政部
塞尔达尔·埃尔巴图尔;圣地亚哥埃斯科瓦尔;迪帕克·卡普尔;刘志强;林奇,Christopher A。;凯瑟琳·梅多斯;何塞·梅塞盖尔;巴利亚特·纳伦德兰;圣地亚哥,索尼娅;拉尔夫·萨西 非对称统一:加密协议分析的一种新的统一范式。 (英语) Zbl 1381.68264号 Bonacina,Maria Paola(编辑),自动扣除-CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-38573-5/pbk)。计算机科学课程讲稿7898。《人工智能课堂讲稿》,231-248(2013)。MSC公司:68吨15 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{S.Erbatur}等人,Lect。注释计算。科学。7898、231--248(2013;Zbl 1381.68264) 全文: 内政部 链接