A Comparison of Semantic Models for Noninterference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ron van der Meyden, Chenyi Zhang. A Comparison of Semantic Models for Noninterference. In Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider, editors, Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. Volume 4691 of Lecture Notes in Computer Science, pages 235-249, Springer, 2006. [doi]

This author has not been identified. Look up 'Ron van der Meyden' in GoogleThis author has not been identified. Look up 'Chenyi Zhang' in Google

runs on WebDSL