Verifying authentication properties of C security protocol code using general verifiers
Fourth International Workshop on Analysis of Security APIs,. 2010
Erscheinungsjahr: 2010
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
| Geprüft | Bibliothek |
