Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Verifying authentication properties of C protocol code using VCC

Presentation held at Fourth International Workshop on Analysis of Security APIs 2010, 21st July 2010, in Edinburgh
 
: Jürjens, Jan; Dupressoir; Gordon

:
presentation urn:nbn:de:0011-n-2628624 (1.1 MByte PDF)
MD5 Fingerprint: c90a36efa6d580b07d54ce8ee38b8275
Created on: 18.10.2013


2010, 24 Folien
International Workshop on Analysis of Security APIs (ASA) <4, 2010, Edinburgh>
English
Presentation, Electronic Publication
Fraunhofer ISST ()

: http://publica.fraunhofer.de/documents/N-262862.html