A Negotiation Protocol Using Web Services in a Self-Management Framework

2013 IEEE Symposium on Computers and Communications (ISCC)

Mbarek

et al. 2013

The goal of the pervasive connectivity is to enable mobile users to be permanently connected to the Internet. Mobile users are often connected to wireless networks and consuming services that require quality of service guarantees. Accessing services using wireless technologies may make the service delivery vulnerable to security attacks because of the open medium of these technologies. In this context, we need to guarantee both quality of service and security for mobile users communications. In this paper, we present a protocol for service level negotiation which covers both quality of service and security and assigns a profile to each user in order to optimize and automate the dynamic negotiation. To evaluate and test the good functionning of this protocol, we had performed some test scenarios. Since these scenarios can not be exhaustive, this paper will focus on the formal verification of that negotiation protocol. This verification will be performed to check some properties like deadlock, livelock, unspecified reception or dead code. This paper shows implementation details of the verification achieved using the SPIN model checker tool and its PROMELA high level language. It also describes the detected problems and propose some solutions.

Section: A Service Level Negotiationmentioning

confidence: 99%

Improvement of a service level negotiation protocol using formal verification

2013 IEEE Symposium on Computers and Communications (ISCC)

Mbarek

et al. 2013

“…To allow service level negotiation in a self‐management environment, we have proposed a protocol that we called SLNP . In fact, self‐management systems have a distributed infrastructure where autonomic entities (autonomic domain managers) collaborate when delivering or consuming services.…”

Section: Service Level Negotiation With Service Level Negotiation Promentioning

confidence: 99%

“…As mentioned before, SLNP was defined for the first time to guarantee the dynamic negotiation of an end‐to‐end service level in a self management environment . In fact, the managers of the different domains involved in a service offer must agree on the SLS parameters.…”

Section: Service Level Negotiation With Service Level Negotiation Promentioning

confidence: 99%

“…Therefore, the managers of the involved domains must agree on a service level that they will undertake to ensure it. In this context, we had specified a negotiation protocol, called SLNP (service level negotiation protocol) , which allows the dynamic negotiation of a service level including simultaneously QoS and security . This negotiation protocol is based on the use of the Web services (WS) technologies to provide the different negotiation parts with interoperability.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A secured, automated, and dynamic end‐to‐end service level negotiation

Concurrency and Computation

2012

Self Cite

SUMMARYToday, the emerging new services like voice over IP and video on demand require some guarantees in terms of QoS. These services can be accessed using wireless technologies, such as Wi‐Fi or WiMAX (Worldwide Interoperability for Microwave Access). This may make the service delivery vulnerable to security attacks because of the open medium on which wireless technologies are based. Thus, in addition to QoS level, security level must also be guaranteed for the provided services. In this paper, we present the service level negotiation protocol, which ensures a dynamic negotiation of a service level covering both QoS and security. Moreover, the negotiation flow itself could be the target of some malicious attacks. Indeed, these attacks can aim to degrade the service level (QoS and / or security) or to make an entity, which is involved in a negotiation, unavailable, etc. Thus, the objective of this paper is to study the security of the flow corresponding to the negotiation provided by service level negotiation protocol. In fact, the security required by this flow will be provided through the use of three different mechanisms: Web services security, secure sockets layer, and IP security protocol. Because these security mechanisms may have an impact on the negotiation protocol performances, we will also evaluate this impact to adopt the security solution that allows minimizing it. Copyright © 2012 John Wiley & Sons, Ltd.

“…SLNP was defined in the context of the autonomous networks management [4] to enable the dynamic negotiation of service level between domain managers.…”

Section: Negotiation Of Qos and Securitymentioning

confidence: 99%

Service level negotiation in ubiquitous environments

2009 IEEE Symposium on Computers and Communications

2009

The goal of the ubiquitous connectivity is to enable mobile users to be permanently and transparently connected to the Internet, with the desired quality of service. In such an environment, it becomes very difficult for service providers to satisfy the needs of users. A solution is to assign a profile to each user in order to optimize and automate the dynamic service level negotiation. These mobile users are often connected to wireless networks and consuming services that require quality ofservice guarantees such as video on demand or voice over IP. Hence, in ubiquitous environments, we need to guarantee both quality of service and security for mobile users communications. In this paper, we present a protocol for service level negotiation which uses Web Services and includes both quality of service and security in its negotiation. Then, we propose to adapt this protocol, called SLNP, to ubiquitous environments by basing its processing on the user profile and by specifying a collaboration with the IEEE 802.21 standard, which manages the mobility of users and participates in the creation of profiles. Details of the implantation and experimental tests are also shown in this paper.