Checking security policies through an enhanced Control Flow Analysis

@article{Bodei2005CheckingSP,
  title={Checking security policies through an enhanced Control Flow Analysis},
  author={Chiara Bodei and Pierpaolo Degano and Corrado Priami},
  journal={Journal of Computer Security},
  year={2005},
  volume={13},
  pages={49-85}
}
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 where and between whom communications may occur. Therefore, we can safely approximate the behaviour of a system plugged in a larger and mainly unknown context, without explicitly analysing it. Quite a lot of possible properties fan out, among which… CONTINUE READING

Similar Papers

Loading similar papers…