スポンサーリンク
Information Media Center Research-education Organization For Information Science And Technology Scie | 論文
- Automatic Verification System for Authentication Protocols
- Attacks on Authentication Protocols with Compromised Certificates and How to Fix them (特集 情報セキュリティの理論と応用)
- 認証プロトコルの完全性を自動検証するシステム : 情報セキュリティ基礎
- パラメタを導入したBAN Logicによる認証プロトコルの検証
- 認証プロトコルの検証ツール