IMAI Hideki | Information and Systems, Institute of Industrial Science, The university of Tokyo

スポンサーリンク

概要

関連著者

もっと見る

著作論文

Notes on Formal Methods Used for Verification of the Security Properties of Protocols Used in Wireless Environment
A Leakage-Resilient Network Storage System
Security Analysis of Password-based Protocols via FDR and AVISPA
A Secure and Lightweight Authenticated Key Exchange Protocol for Wireless Networks
Flaws in Robust Optimistic Mix-Nets and Stronger Security Notions(Protocol, Cryptography and Information Security)
Managing Encryption and Key Publication Independently in Digital Rights Management Systems (Applications) (Cryptography and Information Security)
How to Break COT-Based Fingerprinting Schemes and Design New One(Cryptography and Information Security, Information Theory and Its Applications)

スポンサーリンク