克劳迪奥·阿尔达格纳。;拉维·贾瓦尔;文森佐·皮乌里 服务可靠性认证：基于模型的方法。 （英文） Zbl 1327.68041号 计算 97，第1期，51-78（2015）. 摘要：面向服务的体系结构（SOA）范式的进步和成功在ICT领域产生了一场革命，尤其是在软件应用程序的实现和分发方式方面。如今，应用程序越来越多地作为web服务在Internet上提供和使用，而业务流程是通过动态组合不同供应商提供的松散耦合应用程序来实现的。在这种高度动态的上下文中，客户（例如，选择服务的业务所有者或用户）关心其服务和业务流程的可靠性。在本文中，我们定义了一个认证方案，该方案允许验证服务和业务流程的可靠性属性。我们的认证方案依赖于离散时间马尔可夫链，并将机器可读的可靠性证书授予服务，服务的有效性通过运行时监控不断验证。我们的解决方案可以集成到现有的SOA中，以扩展发现以及具有可靠性要求和证书的选择过程，并支持可靠性感知服务组合。 引用于1文件 MSC公司： 64岁以下 分布式系统 60J20型 马尔可夫链和离散时间马尔可夫过程在一般状态空间（社会流动性、学习理论、工业过程等）上的应用 68英里11 互联网主题 68米15 网络和计算机系统的可靠性、测试和容错 68平方米 计算机系统环境下的性能评估、排队和调度 关键词：BPEL公司;可靠性认证;马尔可夫链;web服务;测试和容错 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Ardagna}等人，Computing 97，No.1，51--78（2015；Zbl 1327.68041） 全文： 内政部 参考文献： [1] Alves A等人（2007）Web服务业务流程执行语言2.0版。绿洲。http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html [2] Anisetti M、Ardagna C、Damiani E（2013）《复合服务的安全认证：基于测试的方法》。收录：第20届IEEE网络服务国际会议论文集 [3] Anisetti M、Ardagna C、Damiani E、Maggesi J（2012）安全认证感知服务发现和选择。附：第五届面向服务计算和应用国际会议论文集 [4] Anisetti M、Ardagna C、Damiani E、Saonara F（2013）web服务的基于测试的安全认证方案。ACM传输网络7（2）：5·doi:10.1145/2460383.2460384 [5] Ardagna C、Damiani E、Jhawar R、Piuri V（2012）基于模型的服务可靠性认证方法。附：第六届数字生态系统技术-复杂环境工程国际会议论文集·Zbl 1327.68041号 [6] Avizienis A、Laprie JC、Randell B、Landwehr C（2004）可靠和安全计算的基本概念和分类。IEEE Trans可靠安全计算1（1）：11-33·doi:10.1109/TDSC.2004.2 [7] Bentakouk L，Poizat P，Zaidi F（2009）基于符号转换系统的服务编排测试的正式框架。附：第21届IFIP WG 6.1软件和通信系统测试国际会议记录 [8] Bentakouk L，Poizat P，Zaídi F（2011）使用符号测试和SMT求解器检查web服务的行为一致性。附：第五届国际测试与证明会议记录·Zbl 0432.68028号 [9] Buckley I等人（2011）《面向基于模式的服务可靠性认证》。附：第一届安全虚拟基础设施国际研讨会论文集 [10] Cheung RC（1980）面向用户的软件可靠性模型。IEEE Trans Softw工程6:118-125·Zbl 0432.68028号 ·doi:10.1109/TSE.1980.234477 [11] Damiani E，Ardagna C，El Ioini N（eds）（2009）开源系统安全认证。纽约施普林格 [12] Damiani E、De Capitani di vimercati S、Paraboschi S、Samarati P（2002）《保护SOAP电子服务》。国际信息安全杂志1（2）：100-115·Zbl 1060.68592号 [13] 丁Z，江M，坎德尔A（2012）基于端口的服务组合可靠性计算。IEEE事务服务计算5（3）：422-436·doi:10.1109/TSC.2011.17 [14] Frantzen L、Tretmans J、de Vries R（2006）《面向基于模型的web服务测试》。收录：网络服务国际研讨会论文集——建模和测试 [15] Herrmann D（2002）使用IT安全评估的通用标准。博卡拉顿奥尔巴赫出版社·doi:10.1201/9781420031423 [16] Iyer S、Nakayama M、Gerbessiotis A（2009）具有级联故障的马尔科夫可靠性模型。IEEE传输计算58:1238-1249·Zbl 1368.68080号 ·doi:10.1109/TC.2009.31 [17] Jhawar R，Piuri V（2013）云计算中平衡可用性和性能的自适应资源管理。附：第十届国际安全与密码学会议记录 [18] Jhawar R，Piuri V（2013）云计算环境中的容错和恢复能力。收录：《计算机和信息安全手册》，第2版。伯灵顿摩根考夫曼 [19] Jhawar R，Piuri V，Samarati P（2012）云计算中资源管理的支持安全要求。附：第15届IEEE计算科学与工程国际会议论文集 [20] Jhawar R、Piuri V、Santambrogio M（2013）《云计算中的容错管理：系统级视角》。IEEE系统J 7（2）：288-297·doi:10.1109/JSYST.2012.2221934 [21] Keum C，Kang S，Ko IY，Baik J，Choi YI（2006）使用扩展有限状态机为web服务生成测试用例。附：第18届IFIP通信系统测试国际会议记录 [22] Kourtesis D、Ramollari E、Dranidis D、Paraskakis I（2010）通过基于注册的web服务一致性测试提高了SOA环境中的可靠性。生产计划控制21（2）：130-144·网址：10.1080/09537280903441922 [23] Mateescu R，Rampacek S（2008）BPEL web服务的形式化建模和离散时间分析。企业工程进展I，商业信息处理讲义，第10卷。柏林/海德堡施普林格出版社，179-193页 [24] Muppala J、Malhotra M、Trivedi K（1996）《复杂系统的马尔可夫可靠性模型：分析技术》。In：复杂系统的可靠性和维护。北约ASI系列F：计算机和系统科学，第154卷，第442-486页·Zbl 0870.60069号 [25] Mustafiz S，Sun X，Kienzle J，Vangheluwe H（2008）系统可靠性的模型驱动评估。软件系统模型7（4）：487-502·doi:10.1007/s10270-008-0084-1 [26] Papazoglou M（2003）Web服务和商业交易。万维网6:49-91·doi:10.1023/A:1022308532661 [27] Pathak J，Basu S，Honavar V（2006）使用符号转换系统建模web服务组合。附：面向服务计算AI驱动技术AAAI研讨会会议记录 [28] Riccobene E、Potena P、Scandurra P（2012）《使用SCA-ASM组件模型的服务组件架构可靠性预测》。在：第38届EUROMMICRO软件工程和高级应用会议论文集 [29] Salva S、Laurencot P、Raphi I（2010）专门用于web服务安全测试的方法。附：第五届软件工程进展国际会议论文集 [30] Salva S，Rabhi I（2009）根据WSDL描述进行自动web服务健壮性测试。附：第十二届欧洲可靠计算研讨会会议记录 [31] Samarati P，De Capitani di Vimercati S（2010），外包场景中的数据保护：问题和方向。摘自：第五届ACM信息、计算机和通信安全研讨会论文集。中国北京·兹比尔1010.68698 [32] Tretmans J（2011）基于模型的测试和基于测试的建模的一些步骤。In：第11届国际学校关于永恒网络软件系统的形式化方法的论文集 [33] Trivedi K等人（2009）可靠性和安全模型。附：第七届可靠通信网络设计国际研讨会论文集 [34] 美国国防部：国防部可信计算机系统评估标准（1985）。http://csrc.nist.gov/publications/secpubs/rainbow/std001.txt [35] van Veenendaal E（2012）软件测试2.2版中使用的标准术语表。国际软件测试资格委员会。http://www.astqb.org/documents/ISTQB_glossary_of_testing_terms_2.2.pdf。2013年8月访问 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。