مؤتمر
Specification of an access control system with a formalism combining CCS and CASL
العنوان: | Specification of an access control system with a formalism combining CCS and CASL |
---|---|
المؤلفون: | Salaun, G., Allemand, M., Attiogbe, C. |
المصدر: | Proceedings 16th International Parallel and Distributed Processing Symposium Parallel and distributed processing symposium Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM. :8 pp 2002 |
Relation: | Proceedings 16th International Parallel and Distributed Processing Symposium. IPDPS 2002 |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 0769515738 9780769515731 |
---|---|
DOI: | 10.1109/IPDPS.2002.1016624 |