蒂格兰·阿瓦内索夫;亚尼克·骑士;迈克尔·鲁西诺维奇;马修·图鲁阿尼 带否定的入侵推理约束。安全服务组合的可决定性和应用。 (英语) 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公司 链接
瓦利德·贝尔基尔;亚尼克·骑士;迈克尔·鲁西诺维奇 参数化自动机仿真及其在服务组合中的应用。 (英语) Zbl 1314.68035号 J.塞姆。计算。 69, 40-60 (2015).MSC公司:68英里11 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Belkhir}等人,J.Symb。计算。69、40-60(2015年;Zbl 1314.68035) 全文: DOI程序
西尔维奥·兰伊斯 关于安全感知电子服务的验证。 (英语) Zbl 1241.94030号 J.塞姆。计算。 47,第9期,1066-1088(2012).MSC公司:94A62型 03B70号 68英里11 PDF格式BibTeX公司 XML格式引用 \textit{S.Ranise},J.Symb。计算。47,第9号,1066--1088(2012;Zbl 1241.94030) 全文: DOI程序
马里诺·利纳杰;阿道夫·洛扎诺·特洛;米格尔·A·佩雷斯-托莱达诺。;胡安·卡洛斯·普雷西亚多;罗伯托·罗德里格斯·埃切韦里亚;费尔南多·桑切斯·菲格罗亚 为RIA用户界面提供可访问性属性。 (英语) Zbl 1214.68066号 J.塞姆。计算。 46,第2期,207-217(2011).MSC公司:68英里11 PDF格式BibTeX公司 XML格式引用 \textit{M.Linaje}等人,J.Symb。计算。46,第2号,207--217(2011;Zbl 1214.68066) 全文: DOI程序
克里斯蒂安·施恩伯格;弗兰茨·魏特尔;伯克哈德·弗雷塔格 验证基于web的技术文档的一致性。 (英语) Zbl 1213.68609号 J.塞姆。计算。 第2期第46页,第183-206页(2011年).MSC公司:68立方英尺 68英里11 60年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schönberg}等人,J.Symb。计算。46,编号2183-206(2011年;兹bl 1213.68609) 全文: DOI程序