A Type System for Computationally Secure Information Flow - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peeter Laud, Varmo Vene. A Type System for Computationally Secure Information Flow. In Maciej Liskiewicz, Rüdiger Reischuk, editors, Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings. Volume 3623 of Lecture Notes in Computer Science, pages 365-377, Springer, 2005. [doi]

This author has not been identified. Look up 'Peeter Laud' in GoogleThis author has not been identified. Look up 'Varmo Vene' in Google

runs on WebDSL