今本 健二 | 九州大学
スポンサーリンク
概要
関連著者
-
今本 健二
九州大学
-
今本 健二
九州大学大学院システム情報科学研究院
-
櫻井 幸一
九州大学システム情報科学研究院
-
今本 健二
九州大学システム情報科学研究院
-
櫻井 幸一
九州大学大学院 システム情報科学研究科 情報工学専攻
-
櫻井 幸一
九州大学システム情報科学府
-
櫻井 幸一
九州大学大学院システム情報科学研究院
-
櫻井 幸一
財団法人九州先端科学技術研究所
-
桜井 幸一
九州大学システム情報科学研究科情報工学専攻
-
深谷 博美
パステル株式会社
-
櫟 粛之
日本電信電話株式会社NTTコミュニケーション科学基礎研究所
-
高橋 健一
財団法人九州先端科学技術研究所
-
櫻井 幸一
九州大学
-
櫟 粛之
NTTコミュニケーション科学基礎研究所
-
高橋 健一
九州システム情報技術研究所
-
堀 良彰
九州システム情報技術研究所
-
櫻井 幸一
九州システム情報技術研究所
-
許 容碩
九州大学大学院システム情報科学府
-
櫻井 幸一
九州大学大学院 システム情報科学府
-
堀 良彰
九州大学大学院システム情報科学府:(財)九州先端科学技術研究所
-
櫟 粛之
日本電信電話株式会社
著作論文
- 第4回PKI R&Dワークショップ参加報告
- 第4回PKI R&Dワークショップ参加報告
- 第三者機関を利用したワンタイムIDシステムの設計,及び信用論理による安全性検証(セキュリティ,フォーマルアプローチ論文)
- CCS2006とその併設ワークショップ,およびPST2006報告(セッション3-B : 認証・報告)
- CCS2006とその併設ワークショップ,およびPST2006報告(セッション3-B : 認証・報告)
- 信頼できるデバイスを用いた3way認証方式の設計と解析(情報通信基礎サブソサイエティ合同研究会)
- 信頼できるデバイスを用いた3way認証方式の設計と解析(情報通信基礎サブソサイエティ合同研究会)
- 信頼できるデバイスを用いた3way認証方式の設計と解析(情報通信基礎サブソサイエティ合同研究会)
- 普遍再暗号化Mix-netにより無証拠性および全体検証性を実現した電子投票システム
- 普遍再暗号化Mix-netにより無証拠性および全体検証性を実現した電子投票システム
- 鍵交換プロトコルのFunctionality合成について(「さまざまな分野の形式的検証最前線」及びAI一般)
- 鍵交換プロトコルの Functionality 合成について
- 耐タンパ性を備えたユニークデバイスに基づく暗号認証基盤の検討
- 耐タンパ性を備えたユニークデバイスに基づく暗号認証基盤の検討
- ワンタイムID鍵交換プロトコルの設計, および様相論理による安全性検証(さまざまな分野の形式的検証最前線及び一般)
- The 32nd International Colloquium on Automata, Languages and Programming (ICALP2005), およびThe Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA2005)参加報告
- ID 情報秘匿の安全性定義に関する検討
- ID 情報秘匿の安全性定義に関する検討
- ID 情報秘匿の安全性定義に関する検討
- ID情報秘匿の安全性定義に関する検討
- ID情報秘匿の安全性定義に関する検討