@Article{DST03,
  author = 	 {Nicoletta {De Francesco} and Antonella Santone and
                  Luca Tesei},
  title = 	 {Abstract Interpretation and Model Checking for
                  Checking Secure Information Flow in Concurrent Systems},
  journal = 	 {Fundamenta Informaticae},
  year = 	 {2003},
  volume =	 {54},
  number =	 {2-3},
  pages =	 {195--211},
  note =	 {IOS Press, Amsterdam}
}