Security Analysis of Crypto-based Java Programs using Automated Theorem Provers.
ASE. 2006 S. 167 - 176
Erscheinungsjahr: 2006
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |
ASE. 2006 S. 167 - 176
Erscheinungsjahr: 2006
Publikationstyp: Zeitschriftenaufsatz
Geprüft | Bibliothek |