Property Verification for Generic Access Control Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vincent C. Hu, D. Richard Kuhn, Tao Xie. Property Verification for Generic Access Control Models. In Cheng-Zhong Xu, Minyi Guo, editors, 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, China, December 17-20, 2008, Volume II: Workshops. pages 243-250, IEEE Computer Society, 2008. [doi]

This author has not been identified. Look up 'Vincent C. Hu' in GoogleThis author has not been identified. Look up 'D. Richard Kuhn' in GoogleThis author has not been identified. Look up 'Tao Xie' in Google

runs on WebDSL