Chiara Bodei Pierpaolo Degano Flemming Nielson Hanne Riis Nielson Security Analysis using Flow Logics. 112-130 2000 70 Bulletin of the EATCS db/journals/eatcs/eatcs70.html#BodeiDNN00