مؤتمر
Theorem proving for modeling and conflict checking of authorization policies
| العنوان: | Theorem proving for modeling and conflict checking of authorization policies |
|---|---|
| المؤلفون: | Unal, D., Caglayan, M.U. |
| المصدر: | 2006 International Symposium on Computer Networks Computer Networks Computer Networks, 2006 International Symposium on. :146-151 2006 |
| Relation: | Proceedings of ISCN'06 7th International Symposium on Computer Networks |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 1424404916 9781424404919 |
|---|---|
| DOI: | 10.1109/ISCN.2006.1662524 |