Refinement Operators and Information Flow Security - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi. Refinement Operators and Information Flow Security. In 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. pages 44-53, IEEE Computer Society, 2003. [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