Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA CNRS Campus de Beaulieu FRennes Cedex - Security Properties - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-09-03 04:27:28		Model checking security properties of control flow graphs Fr´ed´eric Besson Thomas Jensen IRISA/CNRS Campus de Beaulieu FRennes Cedex Add to Reading List Source URL: people.rennes.inria.fr Download Document from Source Website File Size: 238,78 KB Share Document on Facebook