Contrôle du flot d'information par des techniques basées sur le langage de programmation
Un programme est dit non interférent si les valeurs de ses sorties publiques ne dépendent pas des valeurs de ses entrées secrètes. Des études ont montré que par l'analyse du flot d'information, on peut établir et contrôler cette propriété ou des propriétés qui lui sont étroitement liées. D...
Main Author: | |
---|---|
Other Authors: | |
Format: | Dissertation |
Language: | French |
Published: |
Université Laval
2015
|
Subjects: | |
Online Access: | http://hdl.handle.net/20.500.11794/25983 |