様相論理による通信の安全性の記述 (代数系アルゴリズムと言語および計算理論)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 竹内 泉

  産業技術総合研究所

関連論文

• 確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論)
• 確率様相論理による秘匿性の証明
• パイ計算による仕様を検証する論理体系
• 様相論理による通信の安全性の記述 (代数系アルゴリズムと言語および計算理論)
• 確率様相論理による秘匿性の証明

スポンサーリンク