Sign in

Property Verification for Generic Access Control Models.

Vincent C. HuD. Richard KuhnTao Xie
Published in: EUC (2) (2008)
Keyphrases