Paradigm in Verification of Access Control

JeeHyun Hwang, Vincent C. Hu, Tao Xie. Paradigm in Verification of Access Control. In Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion Volume. pages 193, IEEE, 2012. [doi]

Authors

JeeHyun Hwang

This author has not been identified. Look up 'JeeHyun Hwang' in Google

Vincent C. Hu

This author has not been identified. Look up 'Vincent C. Hu' in Google

Tao Xie

This author has not been identified. Look up 'Tao Xie' in Google