![](https://www.pdfsearch.io/img/4471b43c04a95227f1c78626e3a4cba9.jpg) 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.jpAdd to Reading ListSource URL: www-kb.is.s.u-tokyo.ac.jpDownload Document from Source Website File Size: 225,30 KBShare Document on Facebook
|