櫻田 英樹 | Nttコミュニケーション科学基礎研究所
スポンサーリンク
概要
関連著者
-
櫻田 英樹
Nttコミュニケーション科学基礎研究所
-
真野 健
NTTコミュニケーション科学基礎研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
櫻田 英樹
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
塚田 恭章
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
塚田 恭章
日本電信電話(株)nttコミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
萩谷 昌己
東京大学大学院情報理工学系研究科
-
萩谷 昌己
東京大学
-
萩谷 昌己
京都大学数理解析研究所
-
萩谷 昌己
東京大学大学院理学系研究科
-
真野 健
コミュニケーション科学基礎研究所
-
塚田 恭章
コミュニケーション科学基礎研究所
-
真野 健
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
川本 裕輔
東京大学大学院情報理工学系研究科
-
櫻田 英樹
NTT コミュニケーション科学基礎研究所
-
河辺 義信
愛知工業大学 情報科学部 情報科学科
著作論文
- モデル検査を用いたタグVLANの設定検査(ネットワークサービス基礎)
- タグスイッチネットワークのモデル検査による漏曳検査(セッション3)
- SET支払いプロトコルの秘匿性検証(セキュリティプロトコル・電子公証)(新たな脅威に立ち向かうコンピュータセキュリティ技術)
- ゲーム列による安全性証明の形式化と自動化(数理的技法による情報セキュリティ)
- 関数部分知識と匿名性検証(理論,数理的技法による情報セキュリティ,平成19年研究部会連合発表会)
- 攻撃者を考慮した匿名性検証法 (第20回 回路とシステム軽井沢ワークショップ論文集) -- (形式的手法)
- プロセス代数を用いたセキュリティ・プロトコル記述
- 文脈計算の環境計算による解釈
- 電子投票プロトコルに対する無証拠性の定理証明
- フォーマルメソッドによるセキュリティ&プライバシ (特集 20周年を迎えたコミュニケーション科学)
- 電子投票プロトコルに対する無証拠性の定理証明 (特集 人と共存するコンピュータセキュリティ技術)