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

Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking

De Francesco, N., and A. Santone, "Checking Secure Information Flow in Concurrent Languages by Abstract Interpretation + Model Checking", Concurrency Specification and Programming, 2002, Berlin, Germany, pp. 105-116, 2002.