Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568): Difference between revisions

@@ Property / DOI @@
-.1016/j.jsc.2004.04.002
@@ Property / DOI: 10.1016/j.jsc.2004.04.002 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+TAPS
@@ Property / describes a project that uses: TAPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Casper
@@ Property / describes a project that uses: Casper / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NRL
@@ Property / describes a project that uses: NRL / 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.1016/j.jsc.2004.04.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2036707990
@@ Property / OpenAlex ID: W2036707990 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic analysis of programs with well quasi-ordered domains.
+Normal rank
@@ Property / cites work @@
+Q4536615
@@ Property / cites work: Q4536615 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Q3357521
@@ Property / cites work: Q3357521 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535055
@@ Property / cites work: Q4535055 / rank @@
+Normal rank
@@ Property / cites work @@
+An effective fixpoint semantics for linear logic programs
+Normal rank
@@ Property / cites work @@
+A logic of authentication
@@ Property / cites work: A logic of authentication / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Multiset Rewriting Specifications of Security Protocols
+Normal rank
@@ Property / cites work @@
+Q4804905
@@ Property / cites work: Q4804905 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754128
@@ Property / cites work: Q2754128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763635
@@ Property / cites work: Q2763635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2703711
@@ Property / cites work: Q2703711 / 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 @@
+Linear concurrent constraint programming: Operational and phase semantics
+Normal rank
@@ Property / cites work @@
+Q2723425
@@ Property / cites work: Q2723425 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767013
@@ Property / cites work: Q2767013 / rank @@
+Normal rank
@@ Property / cites work @@
+Asynchronous communication model based on linear logic
+Normal rank
@@ Property / cites work @@
+An attack on the Needham-Schroeder public-key authentication protocol
+Normal rank
@@ Property / cites work @@
+Encoding transition systems in sequent calculus
@@ Property / cites work: Encoding transition systems in sequent calculus / 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 @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform proofs as a foundation for logic programming
+Normal rank
@@ Property / cites work @@
+Using encryption for authentication in large networks of computers
+Normal rank
@@ Property / cites work @@
+Protocol insecurity with a finite number of sessions and composed keys is NP-complete.
+Normal rank
@@ Property / DOI @@
+.1016/J.JSC.2004.04.002
@@ Property / DOI: 10.1016/J.JSC.2004.04.002 / rank @@
+Normal rank