Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Matthew S. Bauer
Model Checking Indistinguishability of Randomized Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
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 Security Protocols and Its Implementation by Maude
IPSJ Digital Courier
Model Checking Cryptographic Protocols With Interval Temporal Logic
Journal of Convergence Information Technology
State Space Reduction Techniques for Model Checking of MANET Protocols
International Journal of Networking and Computing
Apply Model Checking to Security Analysis in Trust Management
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Policy Filtering Rules With Temporal Parameters by Model Checking
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
Verification of Security Protocols
Verification of Concurrent Quantum Protocols by Equivalence Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
