Synthesizing Protocols for Digital Contract Signing (Q2891408): 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-642-27940-9_11
+Normal rank
@@ Property / OpenAlex ID @@
+W2113127944
@@ Property / OpenAlex ID: W2113127944 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimistic fair exchange of digital signatures
@@ Property / cites work: Optimistic fair exchange of digital signatures / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-Guarantee Synthesis
@@ Property / cites work: Assume-Guarantee Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Games with secure equilibria
@@ Property / cites work: Games with secure equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Assume-guarantee synthesis for digital contract signing
+Normal rank
@@ Property / cites work @@
+Q4941873
@@ Property / cites work: Q4941873 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413343
@@ Property / cites work: Q4413343 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4448415
@@ Property / cites work: Q4448415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205072
@@ Property / cites work: Q4205072 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Finite-state analysis of two contract signing protocols
+Normal rank