蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) 兹比尔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公司 链接
亚尼克·骑士;丹尼斯·卢吉兹;米歇尔·鲁西诺维奇 实现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) 全文: 内政部