Property Verification for Generic Access Control Models

Vincent C. Hu, D. Richard Kuhn, Tao Xie
2008 2008 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing  
doi:10.1109/euc.2008.22 dblp:conf/euc/HuKX08 fatcat:cgauvgs74jhtfk75kfwpdyaewa