Model checking security properties of control flow graphs.

Saved in:

Bibliographic Details
Title:	Model checking security properties of control flow graphs.
Authors:	Besson, Frédéric, Jensen, Thomas, Le Métayer, Daniel, Thorn, Tommy
Source:	Journal of Computer Security; 2001, Vol. 9 Issue 3, p217, 34p
Database:	Applied Science & Technology Source

Description
ISSN:	0926227X
DOI:	10.3233/JCS-2001-9303