Computational Verification of C Protocol Implementations by Symbolic Execution
Ting Yu;George Danezis;Virgil Gligor (Hrsg). Proceedings of the 19th ACM Conference on Computer and Communications Security CCS 2012: October 16–18, 2012; Raleigh, North Carolina, USA. New York, NY: ACM Association for Computing Machinery 2012 S. 712 - 723
Erscheinungsjahr: 2012
ISBN/ISSN: 978-1-4503-1651-4
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1145/2382196.2382271
| Geprüft | Bibliothek |
