Verification of Low-level Crypto-Protocol Implementations Using Automated Theorem Proving
Manfred Broy; Jean-Pierre Talpin; Elizabeth Leonard (Hrsg). Proceedings of the Third ACM & IEEE International Conference on Formal Methods and Models for Co-Design MEMOCODE’05: July 11-14, 2005; Verona, Italy. Los Alamitos, CA: IEEE Computer Society 2005 S. 89 - 98
Erscheinungsjahr: 2005
ISBN/ISSN: 0-7803-9227-2
Publikationstyp: Diverses (Konferenzbeitrag)
Sprache: Englisch
Doi/URN: 10.1109/MEMCOD.2005.1487898
| Geprüft | Bibliothek |
