TY  - CONF
AU  - Chung
AU  - David Kuhn
AU  - Tao Xie
C2  - Proceedings of the 5th International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, -1
DA  - 2008-12-20
DO  - https://doi.org/10.1109/EUC.2008.22
LA  - en
M1  - 2
PB  - Proceedings of the 5th International Conference on Embedded and Ubiquitous Computing (EUC 2008), Shanghai, -1
PY  - 2008
TI  - Property Verification for Generic Access Control Models
ER  -