塚田恭章

ツカダヤスユキ | Tsukada Yasuyuki

所属機関・部署：
職名：教授
ホームページURL (2件)： http://home.kanto-gakuin.ac.jp/~tsukada/index-j.html , http://home.kanto-gakuin.ac.jp/~tsukada/

研究分野 (3件)：情報学基礎論 , 情報セキュリティ , ソフトウェア

研究キーワード (4件)：セキュリティ , プライバシ , トラスト , フォーマルメソッド

論文 (25件)：

Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. Quality and quantity pair as trust metric. IEICE Transactions on Information and Systems. 2023. E106-D. 2. 181-194
吉田祥悟, 塚田恭章. ブロックチェーン上での安全な鍵管理方式と単一障害点のない秘密計算方式の提案. 情報処理学会論文誌. 2022. 63. 12. 1860-1869
Ken Mano, Hideki Sakurada, Yasuyuki Tsukada. Trust trust me (The additivity). 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. 2017. 505. 135-151
Yasuyuki Tsukada, Hideki Sakurada, Ken Mano, Yoshifumi Manabe. On compositional reasoning about anonymity and privacy in epistemic logic. Annals of Mathematics and Artificial Intelligence. 2016. 78. 2. 101-129
藤田邦彦, 塚田恭章. 素性構造に基づいたアクセス制御モデルの提案. 情報処理学会論文誌. 2014. 55. 9. 2081-2091

MISC (10件)：

藤田邦彦, 塚田恭章. コンテンツ循環に対応できるデジタル著作権管理記述言語の形式意味論. 文京学院大学総合研究所経営論集. 2018. 28. 1. 85-94
藤田邦彦, 塚田恭章. 医療情報の利用許諾モデル. 文京学院大学総合研究所経営論集. 2016. 26. 1. 13-21
塚田恭章. 巻頭言: 外に向かう気持ち. 応用数理. 2014. 24. 2. 1
塚田恭章, 真野健, 櫻田英樹. フォーマルメソッドによるセキュリティ&プライバシ. NTT技術ジャーナル. 2011. 23. 9. 22-25
Akiko Orita, Ken Mano, Yasuyuki Tsukada. Translation of essential terms to Japanese. A terminology for talking about privacy by data minimization: Anonymity, Unlinkability, Undetectability, Unobservability, Pseudonymity, and Identity Management, Version v0.34. 2010. 74-78

特許 (7件)：

書籍 (3件)：

数理的技法による安全性証明 [太田和夫, 盛合志帆 (編), 電子情報通信学会知識ベース, 1群 3編 (暗号理論)]
電子情報通信学会 2010
ゲーム列による安全性証明の形式化と自動化-確率Hoare論理と確率プロセス計算によるアプローチ [萩谷昌己, 塚田恭章 (編), 数理的技法による情報セキュリティ, 日本応用数理学会監修, シリーズ応用数理, 第1巻]
共立出版 2010
数理的技法による情報セキュリティ, 日本応用数理学会監修, シリーズ応用数理, 第1巻
共立出版 2010 ISBN:9784320019508

講演・口頭発表等 (5件)：

モデル検査を用いたSDNの経路変更手順の発見に関する提案
(2024年電子情報通信学会総合大会講演論文集, A-10-04 2024)
軽量ブロック暗号GFRXに対する差分攻撃耐性の評価
(2024年暗号と情報セキュリティシンポジウム, 3C4-1 2024)
ブロックチェーン上で適用可能な秘密計算方式の提案
(情報処理学会第83回全国大会講演論文集, 1X-04 2021)
質と量の組を用いたトラストの多値拡張
(コンピュータセキュリティシンポジウム2016 論文集 (情報処理学会), Vol. 2016, No. 2, pp. 1153-1160 2016)
質と量の組を用いたトラストの定式化
(コンピュータセキュリティシンポジウム2015 論文集 (情報処理学会), Vol. 2015, No. 3, pp. 755-762 2015)

学歴 (2件)：

学位 (2件)：

経歴 (10件)：

全件表示

委員歴 (16件)：

全件表示

受賞 (1件)：

2005/10 - 情報処理学会 CSS 2005 (Computer Security Symposium 2005) 優秀論文賞「シミュレーション技法によるセキュリティプロトコルの匿名性検証法」

所属学会 (4件)：

Association for Computing Machinery (ACM) , 情報処理学会 , 日本応用数理学会 , 日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

塚田 恭章