Amanote Research
Register
Sign In
A Decidable Analysis of Security Protocols
doi 10.1007/1-4020-8141-3_4
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Michael Rusinowitch
Publisher
Kluwer Academic Publishers
Related search
Comparative Analysis of Wireless Security Protocols and Issues
International Journal of Trend in Scientific Research and Development
From Dignity to Security Protocols: A Scientometric Analysis of Digital Ethics
Ethics and Information Technology
Computer Science Applications
Library
Information Sciences
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
The TAMARIN Prover for the Symbolic Analysis of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Reputation-Based Wi-Fi Deployment Protocols and Security Analysis
Analyzing Internet Security Protocols
Analysis of the IBM CCA Security API Protocols in Maude-Npa
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Analysis of Reliable Transport Layer Protocols for Wireless Sensor Networks
