Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by S. Older
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Related publications
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Security Architectures Using Formal Methods
IEEE Journal on Selected Areas in Communications
Computer Networks
Electronic Engineering
Electrical
Communications
Application of Lightweight Formal Methods to Software Security
Formal Verification of Netlog Protocols
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
A Formal Security Model for Microprocessor Hardware
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Extensible Platform for Evaluating Security Protocols
Modular Security Proofs for Key Agreement Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
