認証プロトコルの検証ツール
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2000-11-15
著者
-
齋藤 孝道
東京理科大学
-
Wen Wu
東京理科大学情報科学・研究機構情報メディアセンター
-
Wen W
Information Media Center Research-education Organization For Information Science And Technology Scie
-
月村 賢治
東京理科大学大学院 理工学研究科
-
Wen Wu
東京理科大学 情報メディアセンター
関連論文
- 束縛のタイミングを考慮した認証プロトコルについて
- ユーザ認証付きDHCPの提案と実装
- Automatic Verification System for Authentication Protocols
- Attacks on Authentication Protocols with Compromised Certificates and How to Fix them (特集 情報セキュリティの理論と応用)
- 認証プロトコルの完全性を自動検証するシステム : 情報セキュリティ基礎
- パラメタを導入したBAN Logicによる認証プロトコルの検証
- 認証プロトコルの検証ツール
- 公開鍵を用いた認証プロトコルについて(21世紀のコンピュータセキュリティ技術)
- 束縛のタイミングを考慮した認証プロトコルについて
- 束縛のタイミングを考慮した認証プロトコルについて
- プライバシーを重視するアクセス制御システムの一方式
- プライバシーを重視したアクセス制御機構の提案(21世紀のコンピュータセキュリティ技術)
- 2000-CSEC-10-29 SPKIによるプライバシ保護手法とその株主優待券の電子的実装への応用
- ISEC2000-51 SPKIによるプライバシ保護手法とその株主優待券の電子的実装への応用
- 認証プロトコルの検証支援システム