A Proof System for Information Flow Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi. A Proof System for Information Flow Security. In Michael Leuschel, editor, Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers. Volume 2664 of Lecture Notes in Computer Science, pages 199-218, Springer, 2002. [doi]

This author has not been identified. Look up 'Annalisa Bossi' in GoogleThis author has not been identified. Look up 'Riccardo Focardi' in GoogleThis author has not been identified. Look up 'Carla Piazza' in GoogleThis author has not been identified. Look up 'Sabina Rossi' in Google

runs on WebDSL