蒂格兰·阿瓦内索夫；亚尼克·骑士；迈克尔·鲁西诺维奇；马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 （英语） 兹比尔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 1209.68211号 信息处理。莱特。 110，第3期，116-122（2010）.MSC公司：68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}和\textit{M.Rusinovitch}，Inf.过程。莱特。110，第3号，116--122（2010；Zbl 1209.68211） 全文： 内政部 arXiv公司
亚尼克·骑士；迈克尔·鲁西诺维奇 不相交入侵者理论结合中的符号协议分析：结合决策过程。 （英语） 兹比尔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） 全文： 内政部
亚尼克·骑士；迈克尔·鲁西诺维奇 入侵者理论的层次组合。 （英语） 兹比尔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） 全文： 内政部 链接
亚尼克·骑士；丹尼斯·卢吉兹；米歇尔·鲁西诺维奇 实现web服务安全性的自动分析。 （英语） 兹比尔1148.68315 Konev，Boris（编辑）等人，《组合系统的前沿》。第六届国际研讨会，FroCoS 2007，英国利物浦，2007年9月10日至12日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74620-1/pbk）。计算机科学课堂讲稿4720。人工智能课堂讲稿，133-147（2007）。MSC公司：68M10个 68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{Y.Chevalier}等人，Lect。票据计算。科学。4720、133--147（2007年；Zbl 1148.68315） 全文： 内政部