مؤتمر
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 |
Full Text Finder | ردمك: | 0769515738 9780769515731 |
|---|---|
| DOI: | 10.1109/IPDPS.2002.1016624 |