Secifying and reasoning about dynamic access-control policies
書誌事項
- 公開日
- 2006
収録刊行物
-
- Third International Joint Conference on Automated Reasoning, 2006
-
Third International Joint Conference on Automated Reasoning, 2006 632-646, 2006