Chiara Bodei, Pierpaolo Degano, Corrado Priami. Checking security policies through an enhanced Control Flow Analysis. Journal of Computer Security, 13(1):49-85, 2005.
@article{BodeiDP05,
title = {Checking security policies through an enhanced Control Flow Analysis},
author = {Chiara Bodei and Pierpaolo Degano and Corrado Priami},
year = {2005},
tags = {analysis, data-flow, security, data-flow analysis},
researchr = {https://researchr.org/publication/BodeiDP05},
cites = {0},
citedby = {0},
journal = {Journal of Computer Security},
volume = {13},
number = {1},
pages = {49-85},
}