11月10日(金) 午前 AI一般
10:00 - 12:00 |
| (1) |
10:00-10:30 |
On securing open networks through trust and reputation - architecture, challenges and solutions |
○Yufeng Wang・Yoshiaki Hori・Kouichi Sakurai（Kyushu Univ.） |
| (2) |
10:30-11:00 |
極大系列抽出を目的とする系列包含検査の高速化アルゴリズム |
○市川博規・岩沼宏治・鍋島英知（山梨大） |
| (3) |
11:00-11:30 |
WEBアクセスログに対する系列データマイニング ～ ページ滞在時間系列の解析 ～ |
○吉田 修・岩沼宏治・鍋島英知（山梨大） |
| (4) |
11:30-12:00 |
ＯＷＬオントロジー間の自動対応付け手法の提案と評価 |
○酒井隆道・櫟 粛之（NTT） |
11月10日(金) 午後 さまざまな分野の形式的検証最前線
13:20 - 16:55 |
| (5) |
13:20-13:50 |
［チュートリアル招待講演］セキュリティプロトコルの検証技術（１） ～ カギ交換プロトコルの安全性証明でよく見られる誤り ～ |
○今本健二（九大） |
| (6) |
13:50-14:35 |
［チュートリアル講演］口頭発表 セキュリティプロトコルの検証技術 （２） ～ Abadi-Rogaway logic を中心に ～ |
○櫟 粛之（NTT） |
| |
14:35-14:45 |
休憩 （ 10分 ） |
| (7) |
14:45-15:15 |
鍵交換プロトコルのFunctionality合成について |
○今本健二（九大）・櫟 粛之（NTT）・櫻井幸一（九大） |
| (8) |
15:15-15:45 |
Task-PIOAに基づくIdeal Functionality実現の証明の自動化 |
○櫟 粛之（NTT） |
| |
15:45-15:55 |
休憩 （ 10分 ） |
| (9) |
15:55-16:25 |
モデル検査によるステートチャートとシーケンスチャートの整合性検証 |
○長谷川哲夫（早大/東芝）・深澤良彰（早大） |
| (10) |
16:25-16:55 |
生成と検査の論理プログラムの統合による優先順位付き極小限定の一般選言論理プログラムへの変換 |
○若木利子（芝浦工大）・富田一夫（NTT） |
:ai-
n
