مؤتمر
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols
| العنوان: | On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols |
|---|---|
| المؤلفون: | Cheminod, M., Bertolotti, I.C., Durante, L., Sisto, R., Valenzano, A. |
| المصدر: | 2006 IEEE International Workshop on Factory Communication Systems Factory Communication Systems, 2006 IEEE International Workshop on. :273-282 2006 |
| Relation: | 2006 IEEE International Workshop on Factory Communication Systems |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 1424403790 9781424403790 |
|---|---|
| DOI: | 10.1109/WFCS.2006.1704167 |