Interactive Information Flow - (Invited Talk) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Catuscia Palamidessi, Mário S. Alvim, Miguel E. Andrés. Interactive Information Flow - (Invited Talk). In Alessandro Armando, Gavin Lowe, editors, Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security - Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010. Revised Selected Papers. Volume 6186 of Lecture Notes in Computer Science, pages 111, Springer, 2010. [doi]

This author has not been identified. Look up 'Catuscia Palamidessi' in GoogleThis author has not been identified. Look up 'Mário S. Alvim' in GoogleThis author has not been identified. Look up 'Miguel E. Andrés' in Google

runs on WebDSL