Amanote Research
Register
Sign In
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
Related publications
Model Checking Indistinguishability of Randomized Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Analysis of the IBM CCA Security API Protocols in Maude-Npa
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On the Secure Implementation of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Logic of Belief and a Model Checking Algorithm for Security Protocols
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
On-The-Fly Model Checking of RCTL Formulas
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-The-Fly Confluence Detection for Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On-The-Fly Model Checking Under Fairness That Exploits Symmetry
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-The-Fly Transactions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
