Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Nancy Durgin
A Compositional Logic for Proving Security Properties of Protocols*
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
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
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Verifying Security Protocols as Planning in Logic Programming
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Proving Properties of Constraint Logic Programs by Eliminating Existential Variables
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Entailment Checking for a Fragment of Separation Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Compositional Analysis of Authentication Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
Practical Methods for Proving Termination of General Logic Programs
Journal of Artificial Intelligence Research
Artificial Intelligence
ParaVerifier: An Automatic Framework for Proving Parameterized Cache Coherence Protocols
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
