Back to Results
First PageMeta Content



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

Document Date: 2008-12-22 04:20:35


Open Document

File Size: 225,30 KB

Share Result on Facebook
UPDATE