知識グラフを利用した暗号プロトコル解析

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 大矢野 潤

  千葉商科大学政策情報学部

関連論文

• 知識グラフを利用した暗号プロトコル解析
• 効率の良いモデル空間探査のための抽象化
• セキュリティプロトコルの簡易検証I : 具体意味論
• B-038 効率のよいコース探査のための抽象化(B.ソフトウェア)
• 生涯学習支援のための計算モデル
• ワークフローペトリネットによるキメ細かなe-Learningコースウェア

スポンサーリンク