Checking security policies through an enhanced Control Flow Analysis
Chiara Bodei, Pierpaolo Degano, Corrado Priami · Journal of Computer Security · 2005
We introduce a Control Flow Analysis that statically approximates the dynamic behaviour of mobile processes, expressed in (a variant of) the π-calculus. Our analysis of a system is able to describe the essential behaviour of each sub-system, tracking