Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Antonio González-Burgueño
Analysis of the IBM CCA Security API Protocols in Maude-Npa
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
On-The-Fly Model Checking of Security Protocols and Its Implementation by Maude
IPSJ Digital Courier
A Decidable Analysis of Security Protocols
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparative Analysis of Wireless Security Protocols and Issues
International Journal of Trend in Scientific Research and Development
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Mining of Multiple Object API Protocols Through State Abstraction
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Reputation-Based Wi-Fi Deployment Protocols and Security Analysis
