蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 具有和不具有集合构造函数的一般入侵者约束的可满足性。 (英语) Zbl 1356.68269号 J.塞姆。计算。 80,第1部分,27-61(2017).MSC公司:68瓦30 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Avanesov}等人,J.Symb。计算。80,第1部分,27--61(2017;Zbl 1356.68269) 全文: DOI程序 链接
蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) Zbl 1356.68012号 J.塞姆。计算。 80,第1部分,4-26(2017).MSC公司:68英里11 68第25页 94A60型 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{T.Avanesov}等人,J.Symb。计算。80,第1部分,4--26(2017;Zbl 1356.68012) 全文: DOI程序 arXiv公司 链接
米歇尔·鲁西诺维奇;马修·图鲁阿尼 具有有限数量会话和组合密钥的协议不安全性是NP完全的。 (英语) Zbl 1042.68009号 西奥。计算。科学。 299,编号1-3,451-475(2003).MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{M.Rusinovitch}和\textit{M.Turuani},Theor。计算。科学。299,编号1--3,451--475(2003;Zbl 1042.68009) 全文: DOI程序