Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Luigia Carlucci Aiello
Verifying Security Protocols as Planning in Logic Programming
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Related publications
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
Logic Programming as Hypergraph Rewriting
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
Automated Logic-Based Technique for Formal Verification of Security Protocols
Journal of Advances in Computer Networks
Disjunctive Logic Programming as Constrained Inferences
Knowledge-Based Security Testing of Web Applications by Logic Programming
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Abstract Categorial Parsing as Linear Logic Programming
Abduction in Logic Programming as Second-Order Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Programming
