[ホームへ戻る]

研究業績一覧

論文

[dblp]

(1) 雑誌論文

  1. Koji Hasebe, Takumi Sawada, and Kazuhiko Kato. A Game Theoretic Approach to Power Reduction in Distributed Storage Systems. Journal of Information Processing, vol.24, no.1, pp.173-181, 2016. [download]
  2. Koji Hasebe, Jumpei Okoshi, and Kazuhiko Kato. Power-Saving in Storage Systems for Cloud Data Sharing Services with Data Access Prediction. IEICE Transactions, vol.E98-D, no.10, pp.1744-1754, Oct 2015. [download]
  3. 大和崎啓,長谷部浩二,杉木章義,加藤和彦. 耐障害性向上のための自己安定性に基づくインターネットサービス基盤の構築 コンピュータソフトウェア,vol.28 (1), pp.248-257, 2011.
  4. Takuya Masuzawa and Koji Hasebe. Iterative Information Update and Stability of Strategies. Synthese, Springer-Verlag, vol.179 (1), pp.87-102, 2011.
  5. Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, and Kazuhiko Kato. Dynamic Grid Quorum: A Reconfigurable Grid Quorum and Its Power Optimization Algorithm. Service Oriented Computing and Applications, Springer-Verlag, vol.4 (4), pp.245-260, 2010. [pdf]

(2) 査読付き国際会議論文

  1. Koji Hasebe, Mitsuaki Tsuji, and Kazuhiko Kato. Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. 15th IEEE International Conference on Dependable, Autonomic and Secure Computing (DASC 2017), 8 pages, November 2017 (to appear). [pdf]
  2. Koji Hasebe, Kazuhiko Kato, Hirotake Abe, Ryutaro Akiya, and Masayuki Kawamoto. Traffic Management for Last-Mile Public Transportation Systems Using Autonomous Vehicles. IEEE 3rd International Smart Cities Conference (ISC2 2017), 8 pages, September 2017. [pdf]
  3. Koji Hasebe, Naofumi Nishita, and Kazuhiko Kato. Highly Available Primary-Backup Mechanism for Internet Services with Optimistic Consensus. IEEE Third International Workshop on Cloud Computing Interclouds, Multiclouds, Federations, and Interoperability (Intercloud 2014), pp.410-416, March 2014. [pdf (corrected version)]
  4. Koji Hasebe, Takumi Sawada, and Kazuhiko Kato. Using a Potential Game for Power Reduction in Distributed Storage Systems. IEEE International Workshop on Software Defined Systems (SDS 2014), pp.550-555, March 2014. [pdf]
  5. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computationally Complete Symbolic Attacker and Key Exchange. 20th ACM Conference on Computer and Communications Security (CCS 2013), pp.1231-1246, November 2013. [pdf (long version)]
  6. Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato. Power-Saving in Storage Systems for Internet Hosting Services with Data Access Prediction. 4th International Green Computing Conference (IGCC 2013), 10 pages, 2013. [pdf]
  7. Jumpei Okoshi, Koji Hasebe, and Kazuhiko Kato. Power-Aware Autonomous Distributed Storage Systems for Internet Hosting Service Platforms. 3rd International Conference on Cloud Computing (CloudComp 2012), Springer LNICST vol.112, pp.52-61, 2012. [pdf]
  8. Koji Hasebe and Ryuichiro Ishikawa. Belief Revision for Inductive Game Theory. European Workshop on Multi-agent Systems (EUMAS'11), 15 pages, 2011. [pdf]
  9. Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi, Akira Matsushita, and Yoshiyuki Sankai. Stepwise Process of Clinical Trials in Safety-Conscious Development of Human Assistive Robots. IEEE International Conference on Robotics and Biomimetics (ROBIO 2011), pp.50-55, 2011.
  10. Koji Hasebe, Kei Yamatozaki, Akiyoshi Sugiki, and Kazuhiko Kato. Self-Stabilizing Passive Replication for Internet Service Platforms. 4th IFIP International Conference on New Technologies, Mobility and Security, 6 pages, 2011. [pdf]
  11. Koji Hasebe, Hiroaki Kawamoto, Akira Matsushita, Kiyotaka Kamibayashi, and Yoshiyuki Sankai. Towards a Guideline for Clinical Trials in the Development of Human Assistive Robots. IEEE International Conference on Robotics and Biomimetics (ROBIO 2010), pp. 751-756, 2010.
  12. Koji Hasebe, Tatsuya Niwa, Akiyoshi Sugiki, and Kazuhiko Kato. Power-Saving in Large-Scale Storage Systems with Data Migration. 2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010), pp. 266-273, 2010. [pdf]
  13. Koji Hasebe and Mitsuhiro Mabuchi. Capability-Role-based Delegation in Workflow Systems. 6th IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom-10), pp.711-717, 2010. [pdf]
  14. Koji Hasebe, Mitsuhiro Mabuchi, and Akira Matsushita. Capability-Based Delegation Model in RBAC. 15th ACM Symposium on Access Control Models and Technologies (SACMAT 2010), pp. 109-118, 2010. [pdf]
  15. Mitsuhiro Mabuchi, Yasushi Shinjo, Koji Hasebe, Akira Sato, and Kazuhiko Kato. CapaCon: An Access Control Mechanism for Inter-Device Communications through TCP Connections. 25th Symposium on Applied Computing (ACM SAC 2010), pp.706-712, 2010.
  16. Takuya Masuzawa and Koji Hasebe. Iterative Information Update and Stability of Strategies. 7th European Workshop on Multi-Agent Systems (EUMAS'09), 15 pages, 2009. [pdf]
  17. Munetoshi Ishikawa, Koji Hasebe, Akiyoshi Sugiki, and Kazuhiko Kato. Dynamic Grid Quorum: A Novel Approach for Minimizing Power Consumption without Data Migration in Grid Quorums. IEEE International Conference on Service-Oriented Computing and Applications (SOCA'09), pp.142-149, 2009. [pdf]
  18. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols. Formal to Practical Security, Springer LNCS vol. 5458, pp.33-58, 2009. [pdf]
  19. Gergei Bana, Koji Hasebe, and Mitsuhiro Okada. Computational Semantics for Basic Protocol Logic --- A Stochastic Approach. 12th Annual Asian Computing Science Conference (ASIAN'07), LNCS vol.4846, pp.86-94, Springer-Verlag, 2007.
  20. Koji Hasebe and Mitsuhiro Okada. Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic. Workshop on Foundations of Computer Security (FCS'04), pp.97-113, Turku, Finland, 2004. [pdf]
  21. Koji Hasebe and Mitsuhiro Okada. Inferences on Honesty in Compositional Logic for Security Analysis. International Symposium on Software Security 2003 (ISSS2003), Lecture Notes in Computer Science, vol. 3233, pp.65-86, Springer-Verlag, 2004. [pdf]
  22. Koji Hasebe and Mitsuhiro Okada. A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic. Software Security - Theories and Systems, LNCS vol.2609, pp.417-440, Springer-Verlag, 2003.

(3) 招待講演

  1. Koji Hasebe and Mitsuhiro Okada. Completeness and Counter-Example Generations of a Basic Protocol Logic. 6th International Workshop on Rule-Based Programming (RULE'05), Electronic Notes in Theoretical Computer Science, vol.147 (1), pp.73-92, Elsevier Science, 2005. [pdf]
  2. Vincent Cremet, Koji Hasebe, Jean-Pierre Jouannaud, Antoine Kremer, and Mitsuhiro Okada. FATALIS: Real Time Processes as Linear Logic Specifications. International Workshop on Automated Verification of Infinite-State Systems (AVIS'03), April 2003.

(4) 著書

  1. 長谷部浩二,岡田光弘,ゲルゲイ・バナ. セキュリティプロトコルの論理的検証法. 萩谷,塚田編『数理的技法による情報セキュリティ』第9章 (シリーズ応用数理第1巻),pp.185-202, 共立出版, 2010.

(5) 解説論文

  1. Koji Hasebe, Hiroaki Kawamoto, Kiyotaka Kamibayashi, Akira Matsushita. Safety and Ethical Issues in the Development of Human Assistive Robots. Cybernics, Springer-Verlag, pp.299-313, Feb 2014.
  2. 長谷部浩二,河本浩明,上林清孝,松下明,山海嘉之. 段階的な臨床試験プロセスによる人支援型ロボット開発の提案. 日本ロボット学会誌,vol.29 (3),pp.236-240,2011.
  3. 長谷部浩二,岡田光弘. BAN論理からProtocol Composition Logicへ:セキュリティプロトコルの論理的検証法. 応用数理, vol. 17 (4), pp.47-58, 2007.

研究費獲得実績(代表分のみ)

  1. 科研費・基盤研究(C)「知識の形成過程の分析による暗号プロトコルの安全性検証法に関する研究」(2014〜2016年度.2017年度も延長して継続中)
  2. 科研費・若手研究(B)「論理推論を基にした合理的秘密分散プロトコルの安全性検証法の構築」(2012〜2013年度)
  3. 科研費・若手研究(B)「論理推論を基にした暗号プロトコルの計算論的安全性検証法の構築」(2009〜2011年度)

受賞実績

(1) 本人の受賞

  1. 優秀ポスター賞(計測自動制御学会・第18 回創発システムシンポジウム)
    長谷部浩二,石川竜一郎.「偏見と差別の創発:帰納的ゲームと信念改訂」,2012年.

(2) 共著学生の受賞

  1. 学生奨励賞(情報処理学会第79回全国大会)
    根本晃輔,長谷部浩二,加藤和彦.「電子連結車両を用いた端末交通システムにおける運行スケジュールの最適化手法」,2017年.
  2. 学生奨励賞(情報処理学会第78回全国大会)
    細岡晟,長谷部浩二,加藤和彦.「格納データの継続的な増加に対応した大規模ストレージシステムの省電力化手法」,2016年.
  3. 学生奨励賞(日本ソフトウェア科学会第30回大会)
    西田尚史,長谷部浩二,加藤和彦.「大規模なノード故障やネットワーク分断に対する可用性を持つ受動的複製手法」,2013年.
  4. 学生奨励賞(日本ソフトウェア科学会第28回大会)
    Juan Carlos Polanco Aguilar,長谷部浩二,加藤和彦.「Model Checking of BPMN Models for Reconfigurable Workflows」,2011年.