ホーム > 長谷部 浩二/ Hasebe, Koji
長谷部 浩二
Hasebe, Koji
システム情報系 情報工学域 , 准教授 Faculty of Engineering, Information and Systems , Associate Professor
-
分散制約最適化問題における代表的なアルゴリズムの完全性への反例を発見
2024-02-14
長谷部 浩二
オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。
-
41.
A logical verification method for security protocols based on linear logic and BAN logic
K Hasebe; M Okada
SOFTWARE SECURITY - THEORIES AND SYSTEMS 2609: 417 (2003)
-
1.
Cybernics
Koji Hasebe; Hiroaki Kawamoto; Kiyotaka Kamibayashi; Akira Matsushita
(担当:共著, 範囲:Chapter 14. Safety and Ethical Issues in the Development of Human Assistive Robots)
Springer-Verlag 2014年2月
-
2.
数理的技法による情報セキュリティ
長谷部 浩二; 岡田 光弘; バナ ゲルゲイ
(担当:共著, 範囲:セキュリティプロトコルの論理的検証法)
共立出版 2010年
講演・口頭発表情報はまだありません。
知財情報はまだありません。
542 total views