Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Anca D. Jurcut
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Related publications
Formal Verification of Netlog Protocols
Verification of Security Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Security Protocols
Formal Methods for Assuring Security of Protocols
Computer Journal
Computer Science
Type-Based Automated Verification of Authenticity in Cryptographic Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Automated Inductive Verification of Parameterized Protocols?
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
AnBx - Security Protocols Design and Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
