Modelling of Process of Electronic Signature with Petri Nets and (Max, Plus) Algebra

This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynamic Discrete Event Systems (DDES). It is in this framework that we study this class with using Petri Nets (PN) and the theory of linear systems in (max, +) algebra. We introduce these two formalisms with the aim to describe the graphical and analytical behaviours of studied process. The resolution of (max, +) model which describes the system enables us to evaluate the process performances in terms of occurrence dates of various events that compose it (authentication, hashcoding, signature, timestamping). To illustrate our methodology, we finish this article with a numerical example.

• Type: Conference
• Year: 2005
• Where: ICCSA
• Authors: Ahmed Nait-Sidi-Moh, Maxime Wack
• Keywords: Applied Computing, Certain Point, Dynamic Discrete Event, Electronic Signature, ICCSA 2005