Property Verification for Generic Access Control Models (0)

by V Hu, D R Kuhn, T Xie
Venue:IEEE/IFIP International Symposium on Trust, Security, and Privacy for Pervasive Applications