Model checking security properties of control flow graphs
by
Frédéric Besson
,
Thomas Jensen
,
Tommy Thorn
,
Daniel Le Métayer
| Venue: | Journal of Computer Security |
| Citations: | 42 - 0 self |
BibTeX
@ARTICLE{Besson_modelchecking,
author = {Frédéric Besson and Thomas Jensen and Tommy Thorn and Daniel Le Métayer},
title = {Model checking security properties of control flow graphs},
journal = {Journal of Computer Security},
year = {},
pages = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
graphs
