Model checking security properties of control flow graphs.
Saved in:
| 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 |
Be the first to leave a comment!
