The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems.
Web services are the natural evolution of conventional middleware technologies to support Web-based and enterpriselevel integration. Formal testing of such Web-based technology is a key point to guarantee its reliability. In this paper, we choose a non-intrusive approach based on monitoring to propose a conformance passive testing methodology to check that a composed Web service respects its functional requirements. This methodology is based on a set of formal invariants representing properties to be tested including data and time constraints. Passive testing of an industrial system (that uses a composition of Web services)is briefly presented to demonstrate the effectiveness of the proposed approach.
Las acciones del Estado Islámico en el norte de Irak representaron una amenaza existencial para los diferentes grupos societales que habitaban los territorios que quedaron en manos del autodenominado califato. Sin embargo, sus acciones no son violencia sin sentido, irracionalidad o sevicia. Estas son parte de la concepción salafista, la cual señala que el islam se encuentra en peligro existencial por lo que la violencia contra las minorías es considerada necesaria para la defensa del monoteísmo (tawhid) y para la lucha contra el politeísmo (shirk) y los infieles (kuffar). De este modo, el presente artículo analiza cómo la securitización de la religión que realiza el Estado Islámico representa una amenaza para los grupos minoritarios en Irak y Siria.
Communications systems are growing in use and in popularity. While their interactions are becoming more numerous, trust those interactions now becomes a priority. In this paper, we focus on trust management systems based on observations of trustee behaviors. Based on a formal testing methodology, we propose a formal distributed network monitoring approach to analyze the packets exchanged between the trustor, trustee and other points of observation in order to prove the trustee is acting in a trustworthy manner. Based on formal "trust properties", the monitored systems behaviors provide a verdict of trust by analyzing and testing those properties. Finally, our methodology is applied to a real industrial DNS use case scenario.
Collaborative systems are growing in use and in popularity. The need to boost the methods concerning the interoperability is growing as well; therefore, trustworthy interactions of the different systems are a priority. The systems need to interact with users and other applications. The decision regarding with whom and how to interact with other users or applications depends on each application or system. In this paper, we focus on providing trust verdicts by evaluating the behaviors of different agents, making use of distributed network monitoring. This will provide trust management systems based on "soft trust" information regarding a trustee experience. We propose a formal distributed network monitoring approach to analyze the packets exchanged by the entities, in order to prove a system is acting in a trustworthy manner. Based on formal "trust properties", we analyze the systems' behaviors, then, we provide trust verdicts regarding those "trust properties". Furthermore, automatized testing is performed using a suite of tools we have developed, and finally, our methodology is applied to a real industrial DNS use case scenario.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.