مؤتمر
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 |
ردمك: | 1424404916 9781424404919 |
---|---|
DOI: | 10.1109/ISCN.2006.1662524 |