蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;图鲁阿尼,马蒂厄 具有和不具有集合构造函数的一般入侵者约束的可满足性。 (英语) 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) 全文: 内政部 链接
蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) 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) 全文: 内政部 arXiv公司 链接
亚尼克·骑士;鲁西诺维奇,迈克尔 不相交入侵者理论结合中的符号协议分析:结合决策过程。 (英语) Zbl 1187.68204号 西奥。计算。科学。 411,第10号,1261-1282(2010)。MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Theor。计算。科学。411,第10号,1261--1282(2010;Zbl 1187.68204) 全文: 内政部
佛罗伦萨·杰克马尔;鲁西诺维奇,迈克尔;劳伦·维格纳龙 具有等式约束的树自动机模方程理论。 (英语) Zbl 1137.68035号 J.日志。阿尔盖布。程序。 75,第2期,182-208(2008)。MSC公司:65年第68季度 03B25号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Jacquemard}等人,J.Log。阿尔盖布。程序。75,第2号,182--208(2008;Zbl 1137.68035) 全文: 内政部
亚尼克·骑士;迈克尔·鲁西诺维奇 入侵者理论的层次组合。 (英语) Zbl 1147.68396号 Inf.计算。 206,编号2-4,352-377(2008)。MSC公司:68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch},Inf.Compute。206,编号2--4,352--377(2008;Zbl 1147.68396) 全文: 内政部 链接
亚尼克·骑士;丹尼斯·卢吉兹;米歇尔·鲁西诺维奇 使用子rms约束验证加密协议。 (英语) Zbl 1137.94341号 Dershowitz,Nachum(编辑)等人,《编程逻辑、人工智能和推理》。2007年10月15日至19日在亚美尼亚埃里温举行的2007年LPAR第14届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75558-6/pbk)。计算机科学课堂讲稿4790。人工智能课堂讲稿,181-195(2007)。MSC公司:94A60型 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}等人,Lect。注释计算。科学。4790181--195(2007年;Zbl 1137.94341) 全文: 内政部
米歇尔·鲁西诺维奇;图鲁阿尼,马蒂厄 具有有限会话数和组合密钥的协议不安全性是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) 全文: 内政部