Sécurisation de code basée sur la combinaison de la vérification statique et dynamique : génération de moniteur à partir d'un automate de Rabin

Description

Thèse (M.Sc.)--Université Laval, 2009. / Titre de l'écran-titre (visionné le 16 juin 2009). Bibliogr.

Links & Downloads

1. http://www.theses.ulaval.ca/2009/26107/26107.pdf

Tags

Logiciels Systèmes informatiques

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/429479713
Date	January 1900
Creators	Chabot, Hugues.
Publisher	Québec : Université Laval,
Source Sets	OCLC
Language	French
Detected Language	French