Property Verification for Generic Access Control Models.

Vincent C. Hu, D. Richard Kuhn, Tao Xie

Browse the full EUC paper archive.