Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba - Elliptic-curve DiffieHellman - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2008-12-22 04:20:35		Type-Based Automated Verification of Authenticity in Cryptographic Protocols Daisuke Kikuchi and Naoki Kobayashi Graduate School of Information Sciences, Tohoku University {kikuchi,koba}@kb.ecei.tohoku.ac.jp Add to Reading List Source URL: www-kb.is.s.u-tokyo.ac.jp Download Document from Source Website File Size: 225,30 KB Share Document on Facebook