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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.