Security Analysis of Crypto-based Java Programs using Automated Theorem Provers
Shinichi Honiden;Sebastian Uchitel;Steve Easterbrook (Hrsg). Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering ASE 2006: 18 - 22 September 2006; Tokyo, Japan. Los Alamitos, CA: IEEE Computer Society 2006 S. 167 - 176
Erscheinungsjahr: 2006
ISBN/ISSN: 0-7695-2579-2
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/ASE.2006.60
| Geprüft | Bibliothek |
