On the relationships between notions of simulation-based security (Q1021241): Difference between revisions

@@ 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 @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Reactively Secure Signature Schemes
@@ Property / cites work: Reactively Secure Signature Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Bounded Task-PIOAs: A Framework for Analyzing Security Protocols
+Normal rank
@@ Property / cites work @@
+Q4783717
@@ Property / cites work: Q4783717 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737255
@@ Property / cites work: Q4737255 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4434869
@@ Property / cites work: Q4434869 / rank @@
+Normal rank
@@ Property / cites work @@
+Universally composable two-party and multi-party secure computation
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Cryptography
@@ Property / cites work: Theory of Cryptography / rank @@
+Normal rank
@@ Property / cites work @@
+Q4493893
@@ Property / cites work: Q4493893 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols
+Normal rank
@@ Property / cites work @@
+A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank