Kanto Gakuin University · Faculty of Informatics · 教授

Research keywordsformal epistemology・anonymity and privacy・epistemic logic・trust metrics・license interoperability・compositional reasoning

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Quality and quantity pair as trust metric2023 · IEICE Transactions on Information and Systems
• ブロックチェーン上での安全な鍵管理方式と単一障害点のない秘密計算方式の提案2022 · 情報処理学会論文誌
• Trust trust me (The additivity)2017 · Trust Management XI: Proceedings of the 11th IFIP WG 11.11 International Conference on Trust Management (IFIPTM 2017), IFIP Advances in Information and Communication Technology (IFIP AICT) Book Series
• On compositional reasoning about anonymity and privacy in epistemic logic2016 · Annals of Mathematics and Artificial Intelligence

• Official profile