長谷部 浩二 | 産業技術総合研究所システム検証研究センター

スポンサーリンク

概要

• 長谷部 浩二の詳細を見る
• 同名の論文著者
• 産業技術総合研究所システム検証研究センターの論文著者

関連著者

• 長谷部 浩二

  産業技術総合研究所システム検証研究センター

• 岡田 光弘

  慶應義塾大学文学部哲学専攻

• 長谷部 浩二

  産業技術総合研究所

• Okada Mitsuhiro

  慶應義塾大学文学部

• Okada Mitsuhiro

  Department Of Philosphy Keio University

• Okada Mitsuhiro

  Department Of Philosophy Keio University

• 岡田 光弘

  Department of Philosphy, Keio University

• 水口 大知

  産業技術総合研究所システム検証研究センター

• 長谷部 浩二

  慶應義塾大学文学部

• 水口 大知

  産業技術総合研究所

著作論文

• 線形論理に基づいたセキュリティ・プロトコルの論理的検証法(自動推論 : 演繹, 帰納, モデル検査/生成, 仮説推論アブダクション, 論理プログラム, プランニング, 時相論理, etc.)
• BAN論理からProtocol Composition Logicへ : セキュリティプロトコルの論理的検証法(数理的技法による情報セキュリティ)
• ソフトウェアの安全性をめぐる課題について(人に触れる機械の課題)

スポンサーリンク