ホーム > 長谷部浩二/ Hasebe, Koji

長谷部浩二

Hasebe, Koji

システム情報系情報工学域 , 准教授
Faculty of Engineering, Information and Systems , Associate Professor

http://www.cs.tsukuba.ac.jp/~hasebe

オープンアクセス版の論文は「つくばリポジトリ」で読むことができます。

21. A self-stabilizing approach to tolerate failure for Internet service platform Kei Yamatozaki; Koji Hasebe; Akiyoshi Sugiki; Kazuhiko Kato
Computer Software 28: 248 (2011)
22. Stepwise process of clinical trials in safety-conscious development of human assistive robots Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka KamibayashiYoshiyuki Sankai
2011 IEEE International Conference on Robotics and Biomimetics, ROBIO 2011 50 (2011) Semantic Scholar
23. Dynamic grid quorum: A reconfigurable grid quorum and its power optimization algorithm Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; Kazuhiko Kato
Service Oriented Computing and Applications 4: 245 (2010) Semantic Scholar
24. Secrecy-Oriented First-Order Logical Analysis of Cryptographic Protocols Gergei Bana; Koji Hasebe; Mitsuhiro Okada
IACR Cryptology ePrint Archive (2010)
25. CapaCon: Access control mechanism for inter-device communications through TCP connections Mitsuhiro Mabuchi; Yasushi Shinjo; Koji Hasebe; Akira SatoKazuhiko Kato
Proceedings of the ACM Symposium on Applied Computing 706 (2010) Semantic Scholar
26. Power-saving in large-scale storage systems with data migration Koji Hasebe; Tatsuya Niwa; Akiyoshi Sugiki; Kazuhiko Kato
Proceedings - 2nd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2010 266 (2010) Semantic Scholar
27. Towards a guideline for clinical trials in the development of human assistive robots Koji Hasebe; Hiroaki Kawamoto; Akira Matsushita; Kiyotaka KamibayashiYoshiyuki Sankai
2010 IEEE International Conference on Robotics and Biomimetics, ROBIO 2010 751 (2010) Semantic Scholar
28. Capability-role-based delegation in workflow systems Koji Hasebe; Mitsuhiro Mabuchi
Proceedings - IEEE/IFIP International Conference on Embedded and Ubiquitous Computing, EUC 2010 711 (2010) Semantic Scholar
29. Capability-Based Delegation Model in RBAC Koji Hasebe; Mitsuhiro Mabuchi; Akira Matsushita
SACMAT 2010: PROCEEDINGS OF THE 15TH ACM SYMPOSIUM ON ACCESS CONTROL MODELS AND TECHNOLOGIES 109 (2010) Semantic Scholar
30. Iterative Information Update and Stability of Strategies Takuya Masuzawa; Koji Hasebe
th European Workshop on Multi-Agent Systems (EUMAS'09) 15 pages (2009)
31. Dynamic grid quorum: A novel approach for minimizing power consumption without data migration in grid quorums Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; Kazuhiko Kato
IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09 142 (2009) Semantic Scholar
32. Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols Gergei Bana; Koji Hasebe; Mitsuhiro Okada
FORMAL TO PRACTICAL SECURITY 5458: 33 (2009) Semantic Scholar
33. Computational semantics for basic protocol logic - A stochastic approach Gergei Bana; Koji Hasebe; Mitsuhiro Okada
ADVANCES IN COMPUTER SCIENCE - ASIAN 2007: COMPUTER AND NETWORK SECURITY, PROCEEDINGS 4846: 86 (2007)
34. BAN論理からProtocol Composition Logicへ：セキュリティプロトコルの論理的検証法長谷部浩二; 岡田光弘
応用数理 17: 47 (2007)
35. Completeness and counter-example generations of a basic protocol logic: (Extended abstract) Koji Hasebe; Mitsuhiro Okada
Electronic Notes in Theoretical Computer Science 147: 73 (2006) Semantic Scholar
36. Honesty Inferences for Proving Correctness of Security Protocols 岡田光弘; 長谷部浩二
Workshop on New Approaches to Software Construction (WNASC 2004) 45-57 (2004)
37. Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic Koji Hasebe; Mitsuhiro Okada
Workshop on Foundations of Computer Security (FCS 2004) 97 (2004)
38. Inferences on honesty in compositional logic for protocol analysis K Hasebe; M Okada
SOFTWARE SECURITY - THEORIES AND SYSTEMS 3233: 65 (2004)
39. Formal Verification of Dynamic Real-Time State-Transition Systems Using Linear Logic Koji Hasebe; Jean-Pierre Jouannaud; Antonie Kremer; Mitsuhiro Okada (+1 著者) Zumkeller
日本ソフトウェア科学会第20回全国大会予稿集 (2003)
40. FATALIS: Real Time Processes as Linear Logic Specifications Vincent Cremet; Koji Hasebe; Jean-Pierre Jouannaud; Antoine KremerMitsuhiro Okada
2nd International Workshop on Automated Verification of Inifinite-State Systems (2003)

« 1 2 3 »

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年