Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties (Q3184784): Difference between revisions

@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Unification modulo ACUI plus distributivity axioms
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751360
@@ Property / cites work: Q2751360 / rank @@
+Normal rank
@@ Property / cites work @@
+YAPA: A Generic Tool for Computing Intruder Knowledge
+Normal rank
@@ Property / cites work @@
+Protocol Security and Algebraic Properties: Decision Results for a Bounded Number of Sessions
+Normal rank
@@ Property / cites work @@
+Hierarchical combination of intruder theories
@@ Property / cites work: Hierarchical combination of intruder theories / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Knowledge in Security Protocols under Convergent Equational Theories
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+On the security of public key protocols
@@ Property / cites work: On the security of public key protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A rewriting-based inference system for the NRL protocol analyzer and its meta-logical properties
+Normal rank
@@ Property / cites work @@
+Symbolic Model Checking of Infinite-State Systems Using Narrowing
+Normal rank
@@ Property / cites work @@
+Variant Narrowing and Equational Unification
@@ Property / cites work: Variant Narrowing and Equational Unification / rank @@
+Normal rank
@@ Property / cites work @@
+Effectively Checking the Finite Variant Property
@@ Property / cites work: Effectively Checking the Finite Variant Property / rank @@
+Normal rank
@@ Property / cites work @@
+Q3664457
@@ Property / cites work: Q3664457 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2848034
@@ Property / cites work: Q2848034 / rank @@
+Normal rank
@@ Property / cites work @@
+Information and Communications Security
@@ Property / cites work: Information and Communications Security / rank @@
+Normal rank
@@ Property / cites work @@
+The NRL Protocol Analyzer: An Overview
@@ Property / cites work: The NRL Protocol Analyzer: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+On the freedom of decryption
@@ Property / cites work: On the freedom of decryption / rank @@
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+An attack on a recursive authentication protocol. A cautionary tale
+Normal rank
@@ Property / cites work @@
+Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
+Normal rank