Publikationsdetails
| Herausgegeben von |
Infonomics Society
|
| Publikationsjahr | 2012 |
| Erfasste Beiträge | A Framework for Cryptographic Protocol Analysis Using Linear Temporal Logic (k.A.-k.A.). A. Alabdulatif, X. Ma, L. Nolle. |
| Verlag | IEEE |
| ISBN |
978-1-4673-0838-0
|
| URL |