Search results for: Shin-ya Nishizaki
Communications in Computer and Information Science > Informatics Engineering and Information Science > Distributed and Parallel Computing > 320-332
Lecture Notes in Computer Science > Higher Order Logic Theorem Proving and Its Applications > 369-384
Lecture Notes in Computer Science > Software Security - Theories and Systems > Part 1: Analysis of Protocols and Cryptography > 25-44
Lecture Notes in Computer Science > Software Security — Theories and Systems > Secure Mail System Construction > 201-216
IERI Procedia > 2014 > 10 > Complete > 160-168
Procedia Engineering > 2012 > 50 > Complete > 544-554
Higher-Order and Symbolic Computation > 2000 > 13 > 3 > 239-278