A decidable class of security protocols for both reachability and equivalence properties (Q2031426): Difference between revisions

@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / 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 @@
+Q4418589
@@ Property / cites work: Q4418589 / 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 @@
+Automated Verification of Equivalence Properties of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+Q4447230
@@ Property / cites work: Q4447230 / rank @@
+Normal rank
@@ Property / cites work @@
+From Security Protocols to Pushdown Automata
@@ Property / cites work: From Security Protocols to Pushdown Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Typing Messages for Free in Security Protocols: The Case of Equivalence Properties
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Typing Messages for Free in Security Protocols
@@ Property / cites work: Typing Messages for Free in Security Protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently deciding equivalence for standard primitives and phases
+Normal rank
@@ Property / cites work @@
+Mobile values, new names, and secure communication
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Principles of security and trust. 5th international conference, POST 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2--8, 2016. Proceedings
+Normal rank
@@ Property / cites work @@
+A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols
+Normal rank