Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Mizuhito Ogawa

On-The-Fly Model Checking of Security Protocols and Its Implementation by Maude

IPSJ Digital Courier

English