Mechanical proofs about BW multi-party contract signing protocol (Q3443205): Difference between revisions

@@ Property / cites work @@
+Q2754173
@@ Property / cites work: Q2754173 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941873
@@ Property / cites work: Q4941873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536296
@@ Property / cites work: Q4536296 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite-state analysis of two contract signing protocols
+Normal rank
@@ Property / cites work @@
+Formal analysis of multiparty contract signing
@@ Property / cites work: Formal analysis of multiparty contract signing / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank