Challenges in the Automated Verification of Security Protocols (Q3541719): Difference between revisions

@@ 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-540-71070-7_34
+Normal rank
@@ Property / OpenAlex ID @@
+W1901741109
@@ Property / OpenAlex ID: W1901741109 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding knowledge in security protocols under equational theories
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables
+Normal rank
@@ Property / cites work @@
+Intruders with Caps
@@ Property / cites work: Intruders with Caps / rank @@
+Normal rank
@@ Property / cites work @@
+From One Session to Many: Dynamic Tags for Security Protocols
+Normal rank
@@ Property / cites work @@
+Combining Algorithms for Deciding Knowledge in Security Protocols
+Normal rank
@@ Property / cites work @@
+Automated complexity analysis based on ordered resolution
+Normal rank
@@ Property / cites work @@
+Algebraic Intruder Deductions
@@ Property / cites work: Algebraic Intruder Deductions / rank @@
+Normal rank
@@ Property / cites work @@
+Automated verification of selected equivalences for security protocols
+Normal rank
@@ Property / cites work @@
+Verification of cryptographic protocols: tagging enforces termination
+Normal rank
@@ Property / cites work @@
+Deducibility Constraints, Equational Theory and Electronic Money
+Normal rank
@@ Property / cites work @@
+Advances in Cryptology - CRYPTO 2003
@@ Property / cites work: Advances in Cryptology - CRYPTO 2003 / rank @@
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+An NP decision procedure for protocol insecurity with XOR
+Normal rank
@@ Property / cites work @@
+Q2848035
@@ Property / cites work: Q2848035 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Combination of Intruder Theories
@@ Property / cites work: Hierarchical Combination of Intruder Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Tree automata with one memory set constraints and cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Q4447230
@@ Property / cites work: Q4447230 / rank @@
+Normal rank
@@ Property / cites work @@
+Security properties: two agents are sufficient
@@ Property / cites work: Security properties: two agents are sufficient / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Verification: Theory and Practice
@@ Property / cites work: Verification: Theory and Practice / rank @@
+Normal rank
@@ Property / cites work @@
+Safely Composing Security Protocols
@@ Property / cites work: Safely Composing Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding Knowledge in Security Protocols for Monoidal Equational Theories
+Normal rank
@@ Property / cites work @@
+Easy intruder deduction problems with homomorphisms
+Normal rank
@@ Property / cites work @@
+Symbolic protocol analysis for monoidal equational theories
+Normal rank
@@ Property / cites work @@
+Protocol Verification Via Rigid/Flexible Resolution
+Normal rank
@@ Property / cites work @@
+Q2842870
@@ Property / cites work: Q2842870 / rank @@
+Normal rank
@@ Property / cites work @@
+Joint state composition theorems for public-key encryption and digital signature functionalities with local computation
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+Automatic recognition of tractability in inference relations
+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 @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / cites work @@
+Q4263167
@@ Property / cites work: Q4263167 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3541719