Guiding a general-purpose C verifier to prove cryptographic protocols
Journal of Computer Security. Bd. 22. H. 5. Amsterdam: IOS Press 2014 S. 823 - 866
Erscheinungsjahr: 2014
ISBN/ISSN: 1875-8924
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.3233/JCS-140508
| Geprüft | Bibliothek |
Autoren
Dupressoir, François (Autor)
Gordon, Andrew D. (Autor)
Naumann, David A. (Autor)
