skip to content
  • it
UNIVERSITÀ DEGLI STUDI
DEL SANNIO   Benevento
 

Abstract interpretation and model checking for checking secure information flow in concurrent systems

De Francesco, N., A. Santone, and L. Tesei, "Abstract interpretation and model checking for checking secure information flow in concurrent systems", Fundamenta Informaticae, vol. 54, no. 2: IOS Press, pp. 195–211, 2003.