長谷部 浩二(ハセベ コウジ)
- 論文
- Self-Stabilizing Passive Replication for Internet Service Platforms
Koji Hasebe; Kei Yamatozaki; Akiyoshi Sugiki; Kazuhiko Kato
4th IFIP International Conference on New Technologies, Mobility and Security (NTMS 2010)/p.6ページ, 2011-02 - Dynamic Grid Quorum: A Reconfigurable Grid Quorum and Its Power Optimization Algorithm
Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; Kazuhik...
Service Oriented Computing and Applications/4(4)/p.245-260, 2010-12 - Towards a Guideline for Clinical Trials in the Development of Human Assistive Robots
K. Hasebe; H. Kawamoto; A. Matsushita; K.Kamibayashi; and ...
IEEE International Conference on Robotics and Biomimetics (ROBIO 2010), 2010-12 - Capability-Role-based Delegation in Workflow Systems
Koji Hasebe; Mitsuhiro Mabuchi
6th IEEE/IFIP International Symposium on Trusted Computing and Communications (TrustCom 2010)/p.711-717, 2010-12 - Power-Saving in Large-Scale Storage Systems with Data Migration
Koji Hasebe; Tatsuya Niwa; Akiyoshi Sugiki; Kazuhiko Kato
2nd IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2010)/p.226-273, 2010-11 - Capability-Based Delegation Model in RBAC
Hasebe Koji; Mitsuhiro Mabuchi; Akira Matsushita
15th ACM Symposium on Access Control Models and Technologies (SACMAT 2010)/pp.109-118, 2010-06 - CapaCon: An Access Control Mechanism for Inter-Device Communications through TCP Connections
M. Mabuchi; Y. Shinjo; K. Hasebe; A. Sato; K. Kato
25th Symposium on Applied Computing/p.706-712, 2010-03 - Iterative Information Update and Stability of Strategies
Takuya Masuzawa; Koji Hasebe
Proceedings of the 7th European Workshop on Multi-Agent Systems (EUMAS'09)/p.15ページ, 2009-12 - Dynamic Grid Quorum: A Novel Approach for Minimizing Power Consumption without Data Migration in Grid Quorums
Munetoshi Ishikawa; Koji Hasebe; Akiyoshi Sugiki; and Ka...
IEEE International Conference on Service-Oriented Computing and Applications (SOCA’09)/p.142-149, 2009-12 - Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols
Gergei Bana; Koji Hasebe; and Mitsuhiro Okada
Formal to Practical Security/LNCS 5458/p.33-58, 2009-06 - BAN論理からProtocol Composition Logicへ ～ セキュリティ・プロトコルの 論理的検証法
長谷部浩二; 岡田光弘
応用数理/17(4)/p.47-58, 2007-12 - Computational Semantics for Basic Protocol Logic - A Stochastic Approach
Gergei Bana; Koji Hasebe; and Mitsuhiro Okada
Proceedings fo the 12th Annual Asian Computing Science Conference/LNCS 4846/p.86-94, 2007-12 - Completeness and Counter-Example Generations of a Basic Protocol Logic
Koji Hasebe; Mitsuhiro Okada
Electronic Notes in Theoretical Computer Science/147/p.73-92, 2005-04 - Inferences on Honesty in Compositional Logic for Security Analysis
Koji Hasebe; Mitsuhiro Okada
Proceedings of the International Symposium on Software Security 2003/LNCS 3233/p.65-86, 2004-10 - Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
Koji Hasebe; Mitsuhiro Okada
Proceedings of the Workshop on Foundations of Computer Security/31/p.97-113, 2004-07 - FATALIS: Real Time Processes as Linear Logic Specifications
Vincent Cremet; Koji Hasebe; Jean-Pierre Jouannaud; Antoine ...
2nd International Workshop on Automated Verification of Inifinite-State Systems, 2003 - A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic
Koji Hasebe; Mitsuhiro Okada
Proceedings of the International Symposium on Software Security 2002/LNCS 2609/p.417-440, 2003-02
- Self-Stabilizing Passive Replication for Internet Service Platforms