De nos jours, l.informatique et la sécurité sont indissociables et sont à la confluence de diverses disciplines scientifiques. Ce projet se classe dans ce domaine, son principal objectif est l'élaboration d.un cadre formel ...