休伯特·科蒙;维罗尼克·科尔蒂尔;约翰·米切尔 具有一个内存、设置约束和乒乓协议的树自动机。 (英语) Zbl 0986.68047号 Orejas,Fernando(编辑)等人,《自动化、语言和编程》。2001年7月8日至12日在希腊克里特岛举行的第28届国际学术讨论会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2076, 682-693 (2001). 摘要:我们介绍了一类树自动机,它对使用函数符号应用程序和投影更新的内存执行测试。这类树自动机的语言空性问题显示在DEXPTIME中。我们还引入了一类带有等式测试的集合约束,并通过补全技术和一个具有一个内存的树自动机的约简证明了它的可判定性。带有等式测试的集合约束可用于确定一类加密协议的机密性,该类加密协议适当包含由Dolev和Yao引入的一类无记忆“乒乓协议”。关于整个系列,请参见[Zbl 0967.00069号]. 引用于10文件 MSC公司: 65年第68季度 形式语言和自动机 94A60型 密码学 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon}等人,Lect。注释计算。科学。2076、682--693(2001年;Zbl 0986.68047) 全文: 链接