Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 18 / Issue 5

available in:   PDF (760 kB) PS (652 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-018-05-0676

 

Modeling and Performance Evaluation of a Contract-based Electronic Signature Process

Ahmed Nait-Sidi-Moh (Université de Picardie Jules Verne, France)

Mohamed Bakhouya (Aalto University, Finland)

Wafaa Ait-Cheik-Bihi (Université de Strasbourg, France)

Jaafar Gaber (Université de Technologie de Belfort Montbéliard, France)

Abstract: Distributed systems become ubiquitous by allowing users access to a wide range of services at any time, anywhere, and from a variety of devices. In these open environments where there are many opportunities for both fraudulent services and misbehaving clients, service discovery systems are subject to security challenges. Controlling services' access is one of the fundamental issues that must be faced in the context of service discovery in distributed and open environments. Therefore, secure accesses and utilization of available services must be ensured for users. In our previous work, a contract-based approach for controlling the service access in a distributed computing context was presented. In this paper, we address the purpose and the usage of digital signature on negotiated electronic queries between a server and clients in service discovery systems and web service composition. The paper discusses the combined use of Timed Event Graphs and (max, +)- algebra to model, evaluate and optimize the performance of the signature process and client requests validation by a service provider (server). Based on an optimization resource allocation algorithm, an improvement study of the quality of service offered to the clients, in terms of waiting times and validation of their requests, is proposed. The results are reported and show the efficiency of the use of the proposed formal tools for performance analysis, evaluation and tuning of the considered process.

Keywords: Petri nets and (max, +)-algebra, dimensioning and improvement, electronic exchanges, evaluation and simulation, modeling, web service access control

Categories: E.3, F.4.3, G.1.3, G.2.1, H.4.0, H.5.1