Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories (Q3460872): Difference between revisions

@@ Property / author @@
-Catherine A. Meadows
@@ Property / author: Catherine A. Meadows / rank @@
-Normal rank
@@ Property / author @@
+Catherine A. Meadows
@@ Property / author: Catherine A. Meadows / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maude-NPA
@@ Property / describes a project that uses: Maude-NPA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-25527-9_16
+Normal rank
@@ Property / OpenAlex ID @@
+W2296667264
@@ Property / OpenAlex ID: W2296667264 / rank @@
+Normal rank
@@ Property / cites work @@
+Combination techniques and decision problems for disunification
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Equational problems and disunification
@@ Property / cites work: Equational problems and disunification / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036586
@@ Property / cites work: Q4036586 / rank @@
+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 @@
+Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties
+Normal rank
@@ Property / cites work @@
+Folding variant narrowing and optimal variant termination
+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 @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3460872