Koji Hasebe
University of Tsukuba(JP)
Publications by Year
Research Areas
Advanced Data Storage Technologies, Caching and Content Delivery, Advanced Authentication Protocols Security, User Authentication and Security Systems, Cryptography and Data Security
Most-Cited Works
- → Capability-based delegation model in RBAC(2010)35 cited
- → Power-Saving in Large-Scale Storage Systems with Data Migration(2010)29 cited
- → Capability-Role-Based Delegation in Workflow Systems(2010)9 cited
- → Computationally complete symbolic attacker and key exchange(2013)8 cited
- → Computational Semantics for First-Order Logical Analysis of Cryptographic Protocols(2009)6 cited
- → Traffic management for last-mile public transportation systems using autonomous vehicles(2017)6 cited
- → Power-saving in storage systems for Internet hosting services with data access prediction(2013)5 cited
- → A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic(2003)5 cited
- → Towards a guideline for clinical trials in the development of human assistive robots(2010)4 cited
- → Completeness and Counter-Example Generations of a Basic Protocol Logic(2006)4 cited