Modelling of process of electronic signature with petri nets and (max, plus) algebra

Authors:
Ahmed Nait-Sidi-Moh;Maxime Wack
Affiliations:
Laboratory of Systems and Transports, University of Technology of Belfort-Montbeliard, Belfort Cedex, France;Laboratory of Systems and Transports, University of Technology of Belfort-Montbeliard, Belfort Cedex, France
Venue:
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part IV
Year:
2005

Citing 3
Cited 0

Handbook of Applied Cryptography

Handbook of Applied Cryptography
RIPEMD-160: A Strengthened Version of RIPEMD

Proceedings of the Third International Workshop on Fast Software Encryption
Designing network security

Designing network security

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.