Abstract This paper deals with one of the key issues in Cooperative Information Systems (CIS): the Business Interaction Protocols (IP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve... This paper deals with one of the key issues in Cooperative Information Systems (CIS): the Business Interaction Protocols (IP) that are interconnecting the different parts involved in collaborative activities. The challenge here is twofold. First, we must provide a formal model that is rich enough to capture interactions characteristics. Second, we must allow designers to combine existing protocols to achieve a new specific need. The paper introduces a formal analysis framework allowing the verification of the conformance between IP. This framework is based on our previous work [7][8]. In this paper, we mainly focus on the compositions of IP, where particular protocols may then be selected and composed to support a desired business application. Read More Read Less

Abstract This paper is about the insecurity of the Wireless LAN of a university that is supposed to be available only for students and teachers through a username and a password. This attack shows how to deceive a user making him think he is connecting to a real access point and entering his information in the real web interface that the... This paper is about the insecurity of the Wireless LAN of a university that is supposed to be available only for students and teachers through a username and a password. This attack shows how to deceive a user making him think he is connecting to a real access point and entering his information in the real web interface that the university provides for user authentication. We create a fake access point using the same name of the university’s WLAN to capture login credentials using a fake authentication web interface and then use this information for identity theft. After the demonstration we present possible solutions and recommendations to be aware and avoid this kind of attacks that are a high risk for the security of students and teachers. Read More Read Less

Abstract The World Wide Web has become pervasive in many facets of our professional and personal lives over a decade. Today, another Internet revolution is emerging: Grid computing. While Web offers easy access to mostly static information via Hypertext, the Grid adds another fundamental layer to the Internet, by enabling direct access to and use of underlying resources, such as computers,... The World Wide Web has become pervasive in many facets of our professional and personal lives over a decade. Today, another Internet revolution is emerging: Grid computing. While Web offers easy access to mostly static information via Hypertext, the Grid adds another fundamental layer to the Internet, by enabling direct access to and use of underlying resources, such as computers, storage, scientific instruments and experiments, sensors, applications, data and middleware services. This paper presents readers both a concrete introduction and a handy reference to web services in grid computing, first by explaining the foundations of this new breed of distributed services, and then by demonstrating quick ways to create services with .NET framework 4.5 and Visual Studio 2012 tools. Hence in this article, it is possible to learn the concepts of the web services in grid computing and get practical advice on building and deploying web services using Visual Basic 2012. Read More Read Less

Abstract Quality of Service (QoS) plays an important role for the success of Web services. Both service clients and providers need techniques and methods to evaluate the quality of services. This paper presents a novel approach in the QoS testing of Web service composition. Our method aims to automatically test QoS of Web services in different scenarios of use in the... Quality of Service (QoS) plays an important role for the success of Web services. Both service clients and providers need techniques and methods to evaluate the quality of services. This paper presents a novel approach in the QoS testing of Web service composition. Our method aims to automatically test QoS of Web services in different scenarios of use in the composition. We use symbolic system as a specification to allow the tester to differentiate operations behaviours. Then we prepare a set of test cases per operation, by injecting specific values and we reconstruct the final traces with the observed reactions to conclude their conformance against the IUT using the ioco relation. Read More Read Less