Search results for: Koji Hasebe
Lecture Notes in Computer Science > Software Security — Theories and Systems > Verification Methods and Tools > 417-440
Lecture Notes in Computer Science > Formal to Practical Security > Formal to Practical Security > 33-56
Lecture Notes in Computer Science > Software Security - Theories and Systems > Part 1: Analysis of Protocols and Cryptography > 65-86
Service Oriented Computing and Applications > 2010 > 4 > 4 > 245-260
Electronic Notes in Theoretical Computer Science > 2006 > 147 > 1 > 73-92